Commit 2023-07-06 17:06 717bcc95
View on Github →feat(Data/Nat/Squarefree): add coprime_of_squarefree_mul (#5669) Add a lemma stating that two natural numbers are coprime if their product is squarefree.
feat(Data/Nat/Squarefree): add coprime_of_squarefree_mul (#5669) Add a lemma stating that two natural numbers are coprime if their product is squarefree.