basic): weaken assumptions for `has_one` instance to `one_mem_class` for `set_like` subobjects (#16104)

Commit

3 years ago

feat(group_theory/submonoid/basic): weaken assumptions for `has_one` instance to `one_mem_class` for `set_like` subobjects (#16104)

Author

j-loreaux

Parents