Theorem MDifferentiable.const

Modification history

2026-05-16 04:19

MathlibTest/FunPropMinimal.lean

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

Added MDifferentiable.const View on Github →