Commit 2026-09-30 10:44 ae8011f9

View on Github →

feat(Algebra/Lie/Ideal): add coercion and norm_cast attributes for Lie Ideals (#44295)

Estimated changes