Def MyNamespace.diag

Modification history

2026-07-07 14:28
MathlibTest/FunPropMinimal.lean
fix(Tactic/FunProp): resolve names to be unfolded (#41370) …
Added MyNamespace.diagView on Github →