#metamath

Proving A over root(A) equals root(A) in Metamath, then a self-audit

The user guides Claude through a Metamath tool to formally prove A over root(A) equals root(A), then has it explain its own search-syntax mistakes.