Skip to content

Set theory updates

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/set-theory-general into main
  • Shortened Cantor Theorem proof by liberal use of Tautology.
  • Added some FOL theorems to deal with quantifiers
  • Added substitution utility to only substitute on one side of the sequent

Merge request reports