Theorem CategoryTheory.inv_whiskerRight

Modification history