Commit 2022-07-18 12:17 1d937ddf
View on Github →feat(topology): basic simplification lemmas for continuous_maps (#15102)
This PR adds the @[simps] attribute at two definitions
- at continuous_map.uncurry and,
- at continuous.prod_map
feat(topology): basic simplification lemmas for continuous_maps (#15102)
This PR adds the @[simps] attribute at two definitions