Theorem LiouvilleWith.sub_nat_iff

Modification history

2023-06-02 20:28

Mathlib/NumberTheory/Liouville/LiouvilleWith.lean

feat: port NumberTheory.Liouville.LiouvilleWith (#4596)

Added LiouvilleWith.sub_nat_iff View on Github →