mathlib
81d28e15
- removed unused file
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
removed unused file
References
bottine/simple_graph.ends/Freudenthal_Hopf
#18681 - feat(combinatorics.simple_graph.ends): A version of Freudenthal-Hopf
Author
bottine
Parents
a0a12ce6
Loading
