Theorem CategoryTheory.MorphismProperty.whiskerLeft_mem

Modification history