Skip to content

fix: refute Ex. 9.8.4 without StrictMono; label §6.3 examples - #628

Closed
Chessing234 wants to merge 3 commits into
teorth:mainfrom
Chessing234:fix/ex-9-8-4-false-and-6-3-labels
Closed

fix: refute Ex. 9.8.4 without StrictMono; label §6.3 examples#628
Chessing234 wants to merge 3 commits into
teorth:mainfrom
Chessing234:fix/ex-9-8-4-false-and-6-3-labels

ci: retrigger build (prior run hung after mathlib cache)

a123af9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Aug 3, 2026 in 2h 23m 26s