Def CategoryTheory.Limits.Bicone.toConeFunctor

Modification history