Theorem CategoryTheory.IsIso.of_mono_retraction'

Modification history