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
Home