Mathlib v3 is deprecated. Go to Mathlib v4

Def int_with_epsilon.forget_epsilons

Modification history

2023-05-30 23:18
counterexamples/map_floor.lean
chore(archive + counterexamples): namespaces imo, theorems_100, counterexample, plus three more (#19129) …
Deleted int_with_epsilon.forget_epsilonsView on Github →
2022-08-29 08:18
counterexamples/map_floor.lean
feat(counterexamples/map_floor): `floor`/`ceil` are not preserved under order ring homs (#16198) …
Added int_with_epsilon.forget_epsilonsView on Github →