Theorem CategoryTheory.sum_whiskerRight

Modification history