Commit 2025-09-23 17:30 39937089
View on Github →chore(Data/Nat/Init): remove @[instance] from instAtLeastTwo (#29832)
The instance instAtLeastTwo is never used as it is weaker than the instance defined right below it. It is still used somewhere in norm_num, so we can't delete it.