Def Counterexample.IntWithEpsilon

Modification history

2026-05-06 05:53
Counterexamples/MapFloor.lean
chore(Counterexamples/MapFloor): remove `respectTransparency` (#38659) …
Deleted Counterexample.IntWithEpsilonView on Github →
2023-06-16 17:54
Counterexamples/MapFloor.lean
feat: port Counterexamples.MapFloor (#5147)
Added Counterexample.IntWithEpsilonView on Github →