Theorem CategoryTheory.NatIso.op_leftUnitor

Modification history