Def Algebra.Extension.tensorCotangentSpaceOfFormallyEtale

Modification history

2026-03-02 12:12
Mathlib/RingTheory/Etale/Kaehler.lean
chore(RingTheory/Etale/Kaehler): mention `FormallyEtale` in the names (#35699) …
Added Algebra.Extension.tensorCotangentSpaceOfFormallyEtaleView on Github →