Commit 2021-12-15 19:58 a0b6bab2
View on Github →split(logic/nonempty): Split off logic.basic
(#10762)
This moves the lemmas about nonempty
to a new file logic.basic
I'm crediting Johannes for 79483182abffcac3a1ddd7098d47a475e75a5ed2
split(logic/nonempty): Split off logic.basic
(#10762)
This moves the lemmas about nonempty
to a new file logic.basic
I'm crediting Johannes for 79483182abffcac3a1ddd7098d47a475e75a5ed2