Commit 2024-11-28 20:24 4e9fa40d
View on Github →feat: s ⊆ s ^ n
when 1 ∈ s
(#19538)
and the product of nontrivial sets is nontrivial.
From GrowthInGroups
feat: s ⊆ s ^ n
when 1 ∈ s
(#19538)
and the product of nontrivial sets is nontrivial.
From GrowthInGroups