Commit 2024-09-30 14:37 cb03ac23
View on Github →feat: Left/right commutativity of min/max on Nat (#17287)
These will be used to prove List lemmas that can't afford to import the more general statements
From LeanCamCombi
feat: Left/right commutativity of min/max on Nat (#17287)
These will be used to prove List lemmas that can't afford to import the more general statements
From LeanCamCombi