mathlib3
feat(submonoid, subgroup, subring): is_ring_hom instances for set.inclusion
#917
Merged
Merged
feat(submonoid, subgroup, subring): is_ring_hom instances for set.inclusion #917
mergify
merged
2 commits into
master
from
set_inclusion
feat(submonoid, subgroup, subring): is_ring_hom instances for set.inc…
2c64a775
jcommelin
approved these changes
on 2019-04-10
PatrickMassot
approved these changes
on 2019-04-11
Merge branch 'master' into 'set_inclusion'
baf3bd83
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub