mathlib3
feb24fb6 - feat(topology/vector_bundle): direct sum of topological vector bundles (#12512)

Commit

3 years ago

feat(topology/vector_bundle): direct sum of topological vector bundles (#12512)

Author

hrmacbeth

hrmacbeth

Parents

Loading