HepLean Documentation

Lean.Meta.TransparencyMode