Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
subsingleton.set_empty_or_univ'
Modification history
2020-10-18 01:46
test/nontriviality.lean
feat(logic/nontrivial): make `nontriviality` work for more goals (#4574) …
Added
subsingleton.set_empty_or_univ'
View on Github →