Theorem RingHom.toMorphismProperty_respectsIso_iff

Modification history

2024-07-09 17:23
Mathlib/RingTheory/RingHomProperties.lean
feat(AlgebraicGeometry/Morphisms): stalkwise constructor and more API (#14328) …
Added RingHom.toMorphismProperty_respectsIso_iffView on Github →