Def MyProp

Modification history

2026-02-06 14:32
MathlibTest/apply_with.lean
fix(Tactic/ApplyWith): disambiguate parse to improve error messages (#34721) …
Added MyPropView on Github →