Theorem mdiff_mul

Modification history

2026-05-16 04:19
MathlibTest/FunPropMinimal.lean
feat(fun_prop): allow fun_prop to call discharger on ModelWithCorners (#39226) …
Added mdiff_mulView on Github →