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 →