Theorem Subsemiring.mem_map

Modification history

2024-03-08 07:00
Mathlib/RingTheory/Subsemiring/Basic.lean
chore: Remove `ball` and `bex` from lemma names (#10816) …
Modified Subsemiring.mem_mapView on Github →
2023-05-07 05:02
Mathlib/RingTheory/Subsemiring/Basic.lean
chore: bye-bye, solo `by`s! (#3825) …
Modified Subsemiring.mem_mapView on Github →
2023-01-30 11:31
Mathlib/RingTheory/Subsemiring/Basic.lean
feat: port RingTheory.Subsemiring.Basic (#1862)
Added Subsemiring.mem_mapView on Github →