[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant
#5446
Triggered via pull request
February 10, 2026 22:54
jamesmckinna
Status
Success
Total duration
43m 51s
Artifacts
–