mathlib
62205c27 - refactor(data/nat/factorization): Infer arguments (#13595)

Commit

3 years ago

refactor(data/nat/factorization): Infer arguments (#13595)

Author

vihdzp

vihdzp

Parents

Loading