Def CategoryTheory.Limits.Fork.IsLimit.lift

Modification history