Theorem CategoryTheory.GradedObject.mapObj_ext

Modification history