Theorem Con_subtype_mk

Modification history

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