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

Draft

iehality wants to merge 6 commits into

Dependabot / .github/dependabot.yml succeeded Nov 25, 2025 in 0s

Dependabot config file validation

All changes look good

View more details on Dependabot