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.
feat(data/nat/log): log_mul, log_div (#11164) Even with division over natural, the log "spec" holds.