Template:Claim

From CS2800 wiki
[[Claim:{{{1}}}|Claim]] ([[Proof:{{{1}}}|see proof]]):
{{{2}}}