mathlib3
feat(data/support): define support of a function and prove some properties
#2340

Merged

feat(data/support): define support of a function and prove some properties #2340

mergify merged 3 commits into master from func-support

feat(data/support): define support of a function and prove some prope…

b0aabf01

jcommelin commented on 2020-04-07

Add `support_mul'` for `group_with_zero`

1e9320f0

urkud added awaiting-review

jcommelin approved these changes on 2020-04-08

kim-em approved these changes on 2020-04-08

kim-em removed awaiting-review

kim-em added ready-to-merge

Merge branch 'master' into func-support

a56fd7fb

mergify merged 65a5dc0f into master 5 years ago

mergify deleted the func-support branch 5 years ago

Reviewers

kim-em

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone