mathlib3

feat(order/filter/archimedean): Generalize tendsto_coe_nat_at_top_iff to floor_semirings

#12795

Open