Def Int.clogZpowGi

Modification history

2023-12-16 07:33

Mathlib/Data/Int/Log.lean

chore: `Nsmul` -> `NSMul`, `Zpow` -> `ZPow`, etc (#9067) …

Deleted Int.clogZpowGi View on Github →

2023-01-26 07:35

Mathlib/Data/Int/Log.lean

feat: port Data.Int.Log (#1793)

Added Int.clogZpowGi View on Github →