Theorem CategoryTheory.IsIso.of_mono_retraction

Modification history