Format probe 4
ProvedTaoFivePrimes.zz_probe_p4probe
Probe: trivial identity, Mathlib preamble. To be deprecated.
Preamble
import Mathlib
Formal statement
theorem TaoFivePrimes.zz_probe_p4 (n : ℕ) : n = n := by sorry
TaoFivePrimes.zz_probe_p4Probe: trivial identity, Mathlib preamble. To be deprecated.
import Mathlib
theorem TaoFivePrimes.zz_probe_p4 (n : ℕ) : n = n := by sorry