Theorem CompleteSublattice.top_mem

Modification history

2026-05-29 13:23
Mathlib/Order/CompleteSublattice.lean
chore: bump toolchain to v4.31.0-rc1 (#39980)
Modified CompleteSublattice.top_memView on Github →
2025-08-14 04:35
Mathlib/Order/CompleteSublattice.lean
feat(RingTheory): semisimple Wedderburn–Artin existence (#24192)
Added CompleteSublattice.top_memView on Github →