Theorem LiouvilleWith.ne_intCast

Modification history

2026-10-27 12:01
Mathlib/NumberTheory/Transcendental/Liouville/LiouvilleWith.lean
chore: rename `coe_int` lemmas to `intCast` (#44826) …
Added LiouvilleWith.ne_intCastView on Github →