Theorem CategoryTheory.Limits.hasWidePullbacks_shrink

Modification history