Theorem KaehlerDifferential.derivationQuotKerTotal_lift_comp_total

Modification history