Commit 2025-02-21 21:53 8d0660f3

View on Github →

feat: basic structural lemmas about finite crystallographic root pairings. (#21932)

Estimated changes