Theorem Counterexample.IntWithEpsilon.forgetEpsilons_apply

Modification history

2026-11-02 08:15
Counterexamples/MapFloor.lean
refactor(Algebra/Polynomial): make into an `abbrev` of `AddMonoidAlgebra` (#41981) …
Modified Counterexample.IntWithEpsilon.forgetEpsilons_applyView on Github →
2023-06-16 17:54
Counterexamples/MapFloor.lean
feat: port Counterexamples.MapFloor (#5147)
Added Counterexample.IntWithEpsilon.forgetEpsilons_applyView on Github →