Theorem Counterexample.IntWithEpsilon.lt_forgetEpsilons_ceil

Modification history

2023-06-16 17:54
Counterexamples/MapFloor.lean
feat: port Counterexamples.MapFloor (#5147)
Added Counterexample.IntWithEpsilon.lt_forgetEpsilons_ceilView on Github →