mathlib
4232c80d
- Merge remote-tracking branch 'origin/master' into inc_matrix
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
Merge remote-tracking branch 'origin/master' into inc_matrix
References
inc_matrix
#7498 - feat(combinatorics/simple_graph/inc_matrix): Oriented incidence matrix
Author
YaelDillies
Parents
62d112a4
17219820
Loading
