Commit 2025-03-16 23:10 6bad32a5

View on Github →

feat: the exponential of nilpotent Lie algebra derivatation is an automorphism (#22607)

Estimated changes