Theorem CategoryTheory.Limits.IsBilimit.total

Modification history