Theorem CategoryTheory.MorphismProperty.whiskerRight_mem

Modification history