Theorem CategoryTheory.IsPullback.isIso_fst_of_mono

Modification history