Commit 2019-09-23 19:57 fd7840ad
View on Github →feat(topology/constructions): is_open_prod_iff' (#1454)
- feat(topology/constructions): open_prod_iff'
- reviewer's comments
- fix build
- golfed; is_open_map_fst
feat(topology/constructions): is_open_prod_iff' (#1454)