Theorem CategoryTheory.whiskerRight_id

Modification history