Theorem CategoryTheory.op_rightUnitor

Modification history