∫ Утверждение Mathlib

kerTotal_mkQ_single_algebraMap_one

Mathlib.RingTheory.Kaehler.Basic

URI: https://scilib.ai/kg/mathlib#KaehlerDifferential.kerTotal_mkQ_single_algebraMap_one

← MathLib Explorer