Theorem CategoryTheory.NatIso.unop_refl

Modification history