lint(topology/algebra/order/basic): use `finite` instead of `fintype` (#15203)
lint(topology/algebra/order/basic): use `finite` instead of `fintype` (#15203)






leanprover-community/mathlib,leanprover-community/mathlib