chore: drop UIntN.max_def/min_def, now in core - #29

chore: drop UIntN.max_def/min_def, now in core#29

Kha merged 1 commit into

masterleanprover/downstream-lean4:masterfrom

batteries-uint-max-min-defleanprover/downstream-lean4:batteries-uint-max-min-defCopy head branch name to clipboard