Theorem Con_imp

Modification history

2026-05-29 12:25
MathlibTest/FunPropMinimal.lean
fix(Tactic/FunProp): detect `Continuous.subtype_mk` as compositional (#35683) …
Added Con_impView on Github →