Skip to content

feat(Analysis/LocallyConvex): characterize dense submodules by annihilators - #43747

Closed
yuanyi-350 wants to merge 3 commits into
leanprover-community:masterfrom
yuanyi-350:feat/locally-convex-annihilator
Closed

feat(Analysis/LocallyConvex): characterize dense submodules by annihilators#43747
yuanyi-350 wants to merge 3 commits into
leanprover-community:masterfrom
yuanyi-350:feat/locally-convex-annihilator

Commits

  1. Commits on Sep 12, 2026

  2. Commits on Sep 13, 2026

  3. Commits on Sep 30, 2026