Def liftOfDerivationToSquareZero

Modification history