Theorem CategoryTheory.IsPullback.isIso_snd_iso_of_mono

Modification history