Skip to content

Merge branch 'master' into forcing-part2

cab6cf2
Select commit
Loading
Failed to load commit list.
Draft

add(FirstOrder/SetTheory): forcing part.2: ℙ-name #626

Merge branch 'master' into forcing-part2
cab6cf2
Select commit
Loading
Failed to load commit list.
Dependabot / .github/dependabot.yml succeeded Nov 25, 2025 in 0s

Dependabot config file validation

All changes look good