inc_matrix): Oriented incidence matrix
#7498

Open

feat(combinatorics/simple_graph/inc_matrix): Oriented incidence matrix #7498

gabrielmoise wants to merge 16 commits into master from inc_matrix

feat(combinatorics/simple_graph/inc_matrix): add definitions and API …

fd66565f

gabrielmoise added awaiting-review

eric-wieser commented on 2021-05-04

ericrbg commented on 2021-05-04

prod, lines too long, lemma 4

7cccb0bf

After lint errors 1

7a3337d5

Added inhabited orientation

635eab4c

eric-wieser commented on 2021-05-06

cleaning 1

b268b2db

ericrbg commented on 2021-06-01

jcommelin removed awaiting-review

jcommelin added awaiting-author

jcommelin added WIP

ericrbg commented on 2021-06-18

changes from review 1

9188cf39

changes from review 2

78ae3d0a

changes from review 3

3abe1bb5

gabrielmoise removed awaiting-author

gabrielmoise added awaiting-review

ericrbg removed WIP

jcommelin assigned

b-mehta 4 years ago

jcommelin requested a review from

agusakov 4 years ago

jcommelin requested a review from

kmill 4 years ago

kmill commented on 2021-07-12

YaelDillies commented on 2021-07-12

remove unnecessary imports and whitespaces and add some caps

bfab6b02

kmill commented on 2021-07-12

changes from review 4

0f1f1c5b

changes from review 4

3a28f59b

changes from review 4

de75da88

YaelDillies commented on 2021-08-05

jcommelin removed awaiting-review

jcommelin added awaiting-author

suggestions

41be352f

YaelDillies assigned

YaelDillies 4 years ago

leanprover-community-bot-assistant added merge-conflict

Merge remote-tracking branch 'origin/master' into inc_matrix

57781890

leanprover-community-bot-assistant removed merge-conflict

YaelDillies changed the title ~~feat(combinatorics/simple_graph/inc_matrix): add definitions and API …~~ feat(combinatorics/simple_graph/inc_matrix): Oriented incidence matrix 4 years ago

eric-wieser commented on 2022-04-21

split_ifs

62d112a4

YaelDillies added t-combinatorics

Merge remote-tracking branch 'origin/master' into inc_matrix

4232c80d

YaelDillies requested a review 3 years ago

github-actions added modifies-synchronized-file

kim-em added too-late

Reviewers

eric-wieser

YaelDillies

b-mehta

kmill

ericrbg

agusakov

Assignees

YaelDillies

b-mehta

Labels

awaiting-author t-combinatorics modifies-synchronized-file too-late

Milestone

No milestone

mathlib3 feat(combinatorics/simple_graph/inc_matrix): Oriented incidence matrix #7498 Open

feat(combinatorics/simple_graph/inc_matrix): Oriented incidence matrix #7498

mathlib3
feat(combinatorics/simple_graph/inc_matrix): Oriented incidence matrix
#7498

Open