Commit 2025-03-12 08:53 3f061f51

View on Github →

feat: a Lie ring supports at most one Lie algebra structure over ℚ (#22855)

Estimated changes