Theorem CategoryTheory.Limits.hasPullback_of_preservesPullback

Modification history