Def Submodule.spanSingleton

Modification history

2026-02-17 23:08

Mathlib/Algebra/Algebra/Operations.lean

chore: bump toolchain to v4.29.0-rc1 (#35459)

Deleted Submodule.spanSingleton View on Github →

2025-12-19 18:36

Mathlib/Algebra/Algebra/Operations.lean

feat(RingTheory): prerequisites for #30736 (#33095)

Added Submodule.spanSingleton View on Github →