Namespace Set 1 theorems
- Annihilator count for a bimultiplicative pairing
Set.ncard_pairing_annihilator_mul_ncard_eq_ncard_mul_ncard_radical0 below · cited by 2 · depth 32
Set 1 theoremsSet.ncard_pairing_annihilator_mul_ncard_eq_ncard_mul_ncard_radical 0 below · cited by 2 · depth 32