Ascent++ | demonstrate the validity of a theorem

Assertion list for term "demonstrate the validity of a theorem".

Results from Ascent++: 1

proof → CapableOf → demonstrate the validity of a theorem

0.27