Def CategoryTheory.isoWhiskerRight

Modification history