Theorem CategoryTheory.NatIso.unop_trans

Modification history