mathlib
baa3aa73
- refactor(data/set/basic): change def of `⊂` to match `<` (#1862)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
refactor(data/set/basic): change def of `⊂` to match `<` (#1862) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
References
#1862 - refactor(data/set/basic): change def of `⊂` to match `<`
Author
urkud
Committer
mergify[bot]
Parents
d7cebcf6
Loading