Theorem CategoryTheory.Iso.unop_symm

Modification history