Def CategoryTheory.Limits.Cocones.equivalenceOfReindexing

Modification history