Def CategoryTheory.Limits.Cones.equivalenceOfReindexing

Modification history