Theorem CategoryTheory.ObjectProperty.le_shift

Modification history