monoid): add is_submonoid.mem_nhds_one
#809

Merged

feat(topology/algebra/monoid): add is_submonoid.mem_nhds_one #809

ChrisHughes24 merged 1 commit into master from kmb-top-monoid

feat(topology/algebra/monoid): add is_submonoid.mem_nhds_one

a756d9e0

cipher1024 assigned

ChrisHughes24 6 years ago

ChrisHughes24 merged 69249d8b into master 6 years ago

ChrisHughes24 deleted the kmb-top-monoid branch 6 years ago

Reviewers

No reviews

Assignees

ChrisHughes24

Labels

None yet

Milestone

No milestone