Commit 2025-08-11 09:25 eac80b10
View on Github →feat: roots of a root system are determined by their pairings with elements of a base (#28086) Also two minor loosely-related lemmas
feat: roots of a root system are determined by their pairings with elements of a base (#28086) Also two minor loosely-related lemmas