Theorem CategoryTheory.whiskerRight_id'

Modification history