Def CategoryTheory.Limits.mkFanLimit

Modification history