Theorem CategoryTheory.NatIso.unop_symm

Modification history