Theorem CategoryTheory.Limits.hasPullback_assoc_symm

Modification history