Theorem KaehlerDifferential.kerTotal_map

Modification history