Skip to content

Commit

Permalink
Discourage usage of theorems relying on ax-13 (#3896)
Browse files Browse the repository at this point in the history 
* discourage usage of theorems relying on ax-13

* update discouraged file

* add comments and references, avoid ax-13 from disjxun

* add ax12i reference
  • Loading branch information
@GinoGiotto
GinoGiotto authored Apr 1, 2024
1 parent c4e4633 commit 8709a5b
Show file tree
Hide file tree
Showing 2 changed files with 2,271 additions and 638 deletions.
Loading

0 comments on commit 8709a5b

Please sign in to comment.