Commit 2020-07-28 01:10 7cd1e268
View on Github →feat(data/set/basic): range_unique (#3582)
Add a lemma on the range of a function from a unique type.
feat(data/set/basic): range_unique (#3582)
Add a lemma on the range of a function from a unique type.