mathlib
fb3f2f8c
- Update src/combinatorics/simple_graph/ends/defs.lean
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Update src/combinatorics/simple_graph/ends/defs.lean Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>
References
#18681 - feat(combinatorics.simple_graph.ends): A version of Freudenthal-Hopf
Author
bottine
Parents
812364d2
Loading
