★ 4 · Updated 2026-02-14
Proves mathematical statements by assuming the negation and deriving a contradiction
Browse skills that use this input.
★ 4 · Updated 2026-02-14
Proves mathematical statements by assuming the negation and deriving a contradiction