Skip to content

Fixed statements for 15 problems.#322

Merged
GeorgeTsoukalas merged 1 commit intotrishullab:mainfrom
logical-ivan:aleph-fix-15-problems
Dec 30, 2025
Merged

Fixed statements for 15 problems.#322
GeorgeTsoukalas merged 1 commit intotrishullab:mainfrom
logical-ivan:aleph-fix-15-problems

Commits

Commits on Dec 30, 2025