Theorem LiouvilleWith.ne_cast_int

Modification history

2026-10-27 12:01
Mathlib/NumberTheory/Transcendental/Liouville/LiouvilleWith.lean
chore: rename `coe_int` lemmas to `intCast` (#44826) …
Deleted LiouvilleWith.ne_cast_intView on Github →
2023-06-02 20:28
Mathlib/NumberTheory/Liouville/LiouvilleWith.lean
feat: port NumberTheory.Liouville.LiouvilleWith (#4596)
Added LiouvilleWith.ne_cast_intView on Github →