Theorem CategoryTheory.whiskerRight_twice

Modification history