Def CategoryTheory.Under.mkIdInitial

Modification history