Def Manifold.Elab.Elab.findModels

Modification history

2025-10-08 14:28
Mathlib/Geometry/Manifold/Notation.lean
feat: custom elaborators for differential geometry (#27021) …
Added Manifold.Elab.Elab.findModelsView on Github →