Commit 2024-12-02 13:35 62a0adf4

feat: roots have non-zero length wrt the canonical form of a finite crystallographic root pairing (#19645) We also relocate some other unrelated lemmas in order to relax the assumptions on their scalars, and add fill out some loosely-related API. The only mathematical result is RootPairing.rootForm_apply_root_self_ne_zero.