Theorem topologicalSemiring_of_smooth

Modification history

2023-06-25 10:23
Mathlib/Geometry/Manifold/Algebra/Structures.lean
feat: port Geometry.Manifold.Algebra.Structures (#5453)
Added topologicalSemiring_of_smoothView on Github →