Theorem CategoryTheory.Limits.hasPullback_of_right_iso

Modification history