Gcd | Data.Constraint.Nat |
gcdAssociates | Data.Constraint.Nat |
gcdCommutes | Data.Constraint.Nat |
gcdDistributesOverLcm | Data.Constraint.Nat |
gcdIsIdempotent | Data.Constraint.Nat |
gcdNat | Data.Constraint.Nat |
gcdOne | Data.Constraint.Nat |
gcdZero | Data.Constraint.Nat |