Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_localization.exists_smul_mem_of_mem_adjoin

Modification history

2022-07-27 11:14
src/ring_theory/local_properties.lean
feat(ring_theory/ring_hom/finite): Finite type is a local property (#15379)
Added is_localization.exists_smul_mem_of_mem_adjoinView on Github →