FormalConjecturesForMathlib/Data/Nat/Prime/Composite.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Imports (1)
Imported by 3 files
  1. abbrev Nat.Composite line 22 source

    standard axioms: propext what this means

    Statement uses: Nat

    Proof uses: And, LT.lt, OfNat.ofNat, Not, Nat.Prime

    2 instances, coercions and auxiliary constants left out.