Test Coprime
DefinitionHydra_test_coprimetest
Two natural numbers are coprime.
Definition code
import Mathlib.Data.Nat.GCD.Basic def testCoprime (a b : Nat) : Prop := Nat.Coprime a b
Source
test
Hydra_test_coprimeTwo natural numbers are coprime.
import Mathlib.Data.Nat.GCD.Basic def testCoprime (a b : Nat) : Prop := Nat.Coprime a b