Def CategoryTheory.Center.whiskerRight

Modification history