Lean

Mathlib Files Coauthored

• archive/100-theorems-list/16_abel_ruffini
• src/combinatorics/configuration
• src/data/nat/choose/central
• src/data/nat/choose/factorization
• src/data/polynomial/mirror
• src/data/polynomial/unit_trinomial
• src/field_theory/abel_ruffini
• src/field_theory/adjoin
• src/field_theory/galois
• src/field_theory/normal
• src/field_theory/polynomial_galois_group
• src/field_theory/primitive_element
• src/group_theory/commutator
• src/group_theory/commuting_probability
• src/group_theory/complement
• src/group_theory/index
• src/group_theory/p_group
• src/group_theory/schreier
• src/group_theory/schur_zassenhaus
• src/group_theory/solvable
• src/group_theory/sylow
• src/group_theory/transfer
• src/group_theory/group_action/quotient
• src/group_theory/perm/cycle/type
• src/group_theory/submonoid/centralizer
• src/group_theory/subsemigroup/centralizer
• src/ring_theory/polynomial/selmer
• src/topology/is_locally_homeomorph
• src/topology/algebra/continuous_monoid_hom