Theorem UniqueProds.iff_mulOpposite

Modification history