Theorem TwoSidedIdeal.mem_top

Modification history

2025-10-20 13:51
Mathlib/RingTheory/TwoSidedIdeal/Lattice.lean
style: fix whitespace (#30724) …
Modified TwoSidedIdeal.mem_topView on Github →
2024-09-10 10:43
Mathlib/RingTheory/TwoSidedIdeal/Lattice.lean
feat(Topology/ContinuousFunction/Bounded): add the ideal of compactly supported functions (#12629) …
Added TwoSidedIdeal.mem_topView on Github →