mathlib
1510b706 - Start `factorization_add_iff`; golf `factorization_add_of_lt`

Commit

3 years ago

Start `factorization_add_iff`; golf `factorization_add_of_lt`

References

#16231 - feat(data/nat/factorization/basic): lemmas about factorizations of sums and subtractions

Author

stuart-presnell

stuart-presnell

Parents

Loading