closeds): The coframe of closed sets (#15338)

Commit

3 years ago

feat(topology/sets/closeds): The coframe of closed sets (#15338) `coframe (closeds α)`.

Author

YaelDillies

Parents