Theorem MDifferentiable.id

Modification history

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