Theorem KaehlerDifferential.derivationQuotKerTotal_lift_comp_linearCombination

Modification history