mathlib3

e2e097cc - refactor(data/nat/part_enat): move `complete_linear_order` instance (#15543)