betterwithage commited on
Commit
4c22bd5
·
verified ·
1 Parent(s): 1c9d1b1

rebuild: doctrine-v6 compliant — canonical counts, 6 correct tabs, honest sorry/axiom disclosure

Browse files
Files changed (1) hide show
  1. theorems/index.json +0 -0
theorems/index.json CHANGED
The diff for this file is too large to render. See raw diff