Craig's trick#522

iehality wants to merge 2 commits into

masterFormalizedFormalLogic/Foundation:masterfrom

decidable-theoryFormalizedFormalLogic/Foundation:decidable-theoryCopy head branch name to clipboard