Def Space.mwc

Modification history

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