All pull requests

Pull requests

• refactor: reuse Mathlib's Hensel uniqueness theorem

  #12·Kim Morrison (kim-em) opened Nov 6, 2026·

  ·

• refactor: reuse Mathlib for coefficients modulo the conductor

  #11·Kim Morrison (kim-em) opened Nov 6, 2026·

  ·

• refactor: derive solution-set corepresentability using Mathlib

  #10·Kim Morrison (kim-em) opened Nov 6, 2026·

  ·

• refactor: reuse Mathlib's K-projective null-homotopy theorem

  #9·Kim Morrison (kim-em) opened Nov 6, 2026·

  ·

• docs: make README logo readable in dark mode

  #2·Vasco Schiavo (VascoSch92) opened Nov 5, 2026·

  ·