Repository navigation

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

fix/sacred-physics-finite-sets

Oct 3, 2026

Merged

specs/math: sacred_physics checks every member of its finite sets instead of a dropped prose tail#5727
dmitrii-f-t27 merged 1 commit into
masterfrom
fix/sacred-physics-finite-sets

Commits on Oct 3, 2026
- specs/math: sacred_physics checks every member of its finite sets instead of a dropped prose tail (#5726)
  
  dmitrii-f-t27
  and
  claude
  committed
  279aec6