Theorem RingEquiv.comp_ofBijective_symm

Modification history

2025-08-15 15:34
Mathlib/Algebra/Ring/Equiv.lean
feat(RingTheory): faithfully flat ring maps (#24530) …
Added RingEquiv.comp_ofBijective_symmView on Github →