module): define `fst` and `snd`, review
#2247

Merged

feat(topology/algebra/module): define `fst` and `snd`, review #2247

mergify merged 4 commits into master from top-alg-module

feat(topology/algebra/module): define `fst` and `snd`, review

b692d8e2

kim-em approved these changes on 2020-03-26

Fix compile

b9b5185c

sgouezel added ready-to-merge

Merge branch 'master' into top-alg-module

394d2b1f

Merge branch 'master' into top-alg-module

de482ef2

mergify merged 8943351e into master 5 years ago

urkud deleted the top-alg-module branch 5 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone