Theorem MDifferentiable.pi

Modification history

2026-05-16 04:19

MathlibTest/FunPropMinimal.lean

feat(fun_prop): allow fun_prop to call discharger on ModelWithCorners (#39226) …

Added MDifferentiable.pi View on Github →