Theorem CategoryTheory.Limits.Multifork.IsLimit.fac

Modification history