Def CategoryTheory.Limits.isLimitIdFork

Modification history