mathlib3
feat(logic/function): comp₂ -- useful for binary operations
#993

Merged

feat(logic/function): comp₂ -- useful for binary operations #993

mergify merged 8 commits into master from function-comp-2

feat(logic/function): comp₂ -- useful for binary operations

76f1cded

jcommelin requested a review 7 years ago

Fix: we are already in the function namespace, duh

8974923c

Replace comp₂ with a generalisation of bicompr

c15a1495

Merge branch 'master' into function-comp-2

c0801429

Merge branch 'master' into function-comp-2

65bac6bf

fix error in bitraversable

df1fbabc

cipher1024 commented on 2019-05-09

partially open function namespace in bitraversable

8baea1fe

cipher1024 approved these changes on 2019-05-11

cipher1024 added ready-to-merge

Merge branch 'master' into 'function-comp-2'

fd6a4830

mergify merged de5d0387 into master 7 years ago

ChrisHughes24 deleted the function-comp-2 branch 6 years ago

Reviewers

cipher1024

fpvandoorn

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone