Mathlib Changelog
v4
Changelog
About
Github
Theorem
Subsingleton.set_empty_or_univ
Modification history
2022-11-21 03:50
test/nontriviality.lean
feat: `nontriviality` tactic (#600) …
Added
Subsingleton.set_empty_or_univ
View on Github →