mathlib
6ce29940 - feat(data/nat/prime): stronger sublist factor lemmas

Commit

4 years ago

feat(data/nat/prime): stronger sublist factor lemmas

References

bm-factors-lemmas

Author

b-mehta

b-mehta

Parents

Loading