Theorem CategoryTheory.NatIso.unop_rightUnitor

Modification history