[ DRY ] redefine `Algebra.Definitions.Medial` in terms of `Interchangable`#2764

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom

jamesmckinna:interchange-medial

Jul 31, 2025

Commits on Jul 11, 2025

[ DRY ] redefine `Algebra.Definitions.Medial` in terms of `Interchangable`, plus knock-ons
jamesmckinna
committed

Commits on Jul 20, 2025