Commit 2025-02-17 07:03 53815d4e

View on Github →

feat: prove isNilpotentAdd for LieSubmodules (#21962) Prove isNilpotentAdd for LieSubmodules

Estimated changes