Theorem RingHom.RespectsIso.arrow_mk_iso_iff

Modification history

2025-01-18 20:53
Mathlib/RingTheory/RingHomProperties.lean
feat(AlgebraicGeometry): flat morphisms of schemes (#19790) …
Added RingHom.RespectsIso.arrow_mk_iso_iffView on Github →