mathlib
dd05bc12 - feat(nat): add lemmas for multiplicity of gcd and lcm

Commit

3 years ago

feat(nat): add lemmas for multiplicity of gcd and lcm

References

Author

unknown

Parents

Loading