Commit 2024-02-14 03:21 129c0e0e
View on Github →refactor: Use p⁻¹ instead of 1 / p in conjugate exponents (#10216)
I am keeping some 1 / p lemmas behind to keep the diff small but the goal is to get rid of them entirely.
refactor: Use p⁻¹ instead of 1 / p in conjugate exponents (#10216)
I am keeping some 1 / p lemmas behind to keep the diff small but the goal is to get rid of them entirely.