Commit 2025-03-31 15:58 041e230c

View on Github →

feat(RingTheory/Nilpotent): prepare exp calculations (#23423) Changes for IsNilpotent.exp calculations

Estimated changes