Repository navigation

Thermo: faithful Bennett statement on an enumerated fibre - #372

Merged

hyperpolymath merged 2 commits into

mainfrom

proofs/bennett-enumerated-fibre

Nov 9, 2026

Merged

Thermo: faithful Bennett statement on an enumerated fibre#372
hyperpolymath merged 2 commits into
mainfrom
proofs/bennett-enumerated-fibre

Commits on Nov 9, 2026
- docs(proofs): correct claims that say more than the Agda states
  claude
  committed
  834e8ad
- proofs(thermo): faithful Bennett statement on an enumerated fibre
  claude
  committed
  51cfb9c