Theorem FiniteField.prod_univ_units_id_eq_neg_one

Modification history