Commit 2023-05-08 23:09 949dc57e
View on Github →feat(*): generalise+add algebraic instances (#18947) These are needed for #18857 (splitting field diamond), and I feel as though it's getting unwieldy so having these separately for review may be nice.