superpermutation_upper_bound0.1.0
Lean proofs of the 43/80 upper bound for superpermutations, with explicit words on 8-13 symbols
Sort by
Require Order
mathlib
v4.31.0The math library of Lean 4
superpermutation_upper_bound0.1.0v4.31.0