Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-27 14:06 05d1d339

View on Github →

fix(algebra/archimedean): swap names of floor_add_fract and fract_add_floor (#770)

Estimated changes

modified theorem floor_add_fract
modified theorem fract_add_floor