Theorem CategoryTheory.NatIso.unop_leftUnitor

Modification history