Theorem CategoryTheory.NatIso.op_rightUnitor

Modification history