mathlib3
dc749209 - refactor(data/nat/log): generalize to any floor_semiring

Commit

3 years ago

refactor(data/nat/log): generalize to any floor_semiring

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading