Skip to content

specs/math: sacred_physics checks every member of its finite sets instead of a dropped prose tail - #5727

Merged
dmitrii-f-t27 merged 1 commit into
masterfrom
fix/sacred-physics-finite-sets
Oct 3, 2026
Merged

dmitrii-f-t27 merged 1 commit into
masterfrom
fix/sacred-physics-finite-sets

specs/math: sacred_physics checks every member of its finite sets ins…

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

Annotations

1 notice
extract-issue
succeeded Oct 3, 2026 in 8s