basic): change def of `⊂` to match `<`
#1862

Merged

refactor(data/set/basic): change def of `⊂` to match `<` #1862

mergify merged 2 commits into master from ssubset-def

refactor(data/set/basic): change def of `⊂` to match `<`

b19a28ed

jcommelin requested a review from

digama0 6 years ago

digama0 approved these changes on 2020-01-09

digama0 added ready-to-merge

Merge branch 'master' into ssubset-def

4f2026f5

mergify merged baa3aa73 into master 6 years ago

mergify deleted the ssubset-def branch 6 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone