[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant#2939
Merged
jamesmckinna merged 3 commits intoagda:masterfrom Feb 23, 2026
Merged
[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant#2939jamesmckinna merged 3 commits intoagda:masterfrom
Data.Nat.Properties.∸-suc to make m≤n argument irrelevant#2939jamesmckinna merged 3 commits intoagda:masterfrom
