Commit 2018-03-21 19:31 f3660dfc
View on Github →chore(logic/basic): protect classical logic theorems
You can't use these theorems with open classical anyway, because of disambiguation with the _root_ theorems of the same name.
chore(logic/basic): protect classical logic theorems
You can't use these theorems with open classical anyway, because of disambiguation with the _root_ theorems of the same name.