Theorem MySet.empty_union

Modification history

2026-01-28 08:39
MathlibTest/nontriviality.lean
feat(Algebra/Order): injectivity of `zpow` in its left argument (#23177)
Added MySet.empty_unionView on Github →