Skip to content

A quantifier, a subset and a cardinality over a finite set compile - #2234

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
statements-over-a-finite-set-compile
Oct 30, 2026
Merged

A quantifier, a subset and a cardinality over a finite set compile#2234
Rafael-SOWNet merged 1 commit into
masterfrom
statements-over-a-finite-set-compile

Commits

  1. Commits on Oct 30, 2026