Commit 2026-03-02 12:12 ce225307
View on Github →chore(RingTheory/Etale/Kaehler): mention FormallyEtale in the names (#35699)
These are specific definitions true with a formally étale assumption. In #35594 we are adding general ones (with slightly different content) that deserve to have the generic name.