Theorem CategoryTheory.Limits.hasPullback_of_preserves_pullback

Modification history