Commit 2025-01-10 18:19 88927def
View on Github →feat: a ∈ s ^ n iff there exists a sequence f of n elements of s such that ∏ i, f i = a (#20580)
feat: a ∈ s ^ n iff there exists a sequence f of n elements of s such that ∏ i, f i = a (#20580)