def Lean.collectAxioms {m : Type → Type} [Monad m] [MonadEnv m] (constName : Name) : m (Array Name)

Collect all axioms transitively used by a constant.

Equations

• One or more equations did not get rendered due to their size.