Def RingHom.FaithfullyFlat

Modification history

2025-08-15 15:34

Mathlib/RingTheory/RingHom/FaithfullyFlat.lean

feat(RingTheory): faithfully flat ring maps (#24530) …

Added RingHom.FaithfullyFlat View on Github →