Namespace Associated 1 theorems
- Unit multiple of an n-th power forces associated elements
Associated.of_pow_eq_units_mul_pow0 below · cited by 3 · depth 32
Associated 1 theoremsAssociated.of_pow_eq_units_mul_pow 0 below · cited by 3 · depth 32