mathlib
6a4d298c - chore(topology/vector_bundle): generalize to topological semimodules (#7183)

Commit

4 years ago

chore(topology/vector_bundle): generalize to topological semimodules (#7183)

Author

urkud

urkud

Parents

Loading