Theorem CategoryTheory.Limits.limit.pre_pre

Modification history