mathlib

683fd9e1 - Remove name conflicts

Remove name conflicts This series of commits is meant to _only_ modify floor_semiring and avoid also modifying the `archimedean` file. As such we just specify the _which_ `exists_nat_gt` we want for now.