Commit 2026-03-25 05:05 fb5af9d0

View on Github →

chore(RingTheory/AdjoinRoot): clean up instances (#37127) Clean up AdjoinRoot instances using inferInstanceAs.

Estimated changes