Def CategoryTheory.whiskerRight

Modification history