Def CategoryTheory.Limits.Bicone.toCoconeFunctor

Modification history