Theorem Subring.mem_closure_image_of

Modification history

2025-07-31 17:11
Mathlib/Algebra/Ring/Subring/Basic.lean
chore: move and golf Subring.mem_closure_image_of (#27652)
Added Subring.mem_closure_image_ofView on Github →