Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/replace/./tests/lean/modBug.lean
blob: 61b5357d2306b3cca672f0513e25cd37c872d338 [file] [edit]
theorem proofOfFalse : False := Nat.zero_ne_one (Nat.mod_zero 1)