Commit 2024-05-30 20:16 e512aa98

View on Github →

chore(Algebra/Lie/Submodule): the lattice of Lie submodules is atomic (#13387)

Estimated changes