Commit 2018-12-20 08:12 fc90e009

feat(ring_theory/subring) various lemmas (#532) new lemmas:

• is_ring_hom.is_subring_set_range
• ring.in_closure.rec_on
• ring.closure_mono changed:
• ring.exists_list_of_mem_closure