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

iehality wants to merge 6 commits intomasterFormalizedFormalLogic/Foundation:masterfrom

forcing-part2FormalizedFormalLogic/Foundation:forcing-part2Copy head branch name to clipboard