Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-01 13:55 ad76a5ee

View on Github →

feat(data/nat/log): log_mul, log_div (#11164) Even with division over natural, the log "spec" holds.

Estimated changes