ProofObject

ProofObject[…] represents a proof object generated by FindEquationalProof.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.