Theorems

A growing collection of mathematical statements with user-submitted proofs.

Showing 301-320 of 321
BackNext

  • Deps Smoke B 2025-08-19T03:34:48+00:00

    lemmalem:deps-b-1755574488
    Let B be a helpful lemma.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_hlb7qw · Created

  • Deps Smoke A 2025-08-19T03:34:48+00:00

    theoremthm:deps-a-1755574488
    Let A be awesome.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_hlb7qw · Created

  • Deps Smoke B 2025-08-19T03:33:41+00:00

    lemmalem:deps-b-1755574421
    Let B be a helpful lemma.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_zswelj · Created

  • Deps Smoke A 2025-08-19T03:33:41+00:00

    theoremthm:deps-a-1755574421
    Let A be awesome.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_zswelj · Created

  • Deps Smoke B 2025-08-19T03:29:20+00:00

    lemmalem:deps-b-1755574160
    Let B be a helpful lemma.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_tob9ey · Created

  • Deps Smoke A 2025-08-19T03:29:20+00:00

    theoremthm:deps-a-1755574160
    Let A be awesome.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_tob9ey · Created

  • Deps Smoke B 2025-08-19T03:25:42+00:00

    lemmalem:deps-b-1755573942
    Let B be a helpful lemma.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_9c4x36 · Created

  • Deps Smoke A 2025-08-19T03:25:42+00:00

    theoremthm:deps-a-1755573942
    Let A be awesome.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_9c4x36 · Created

  • Deps Smoke B 2025-08-19T03:19:07+00:00

    lemmalem:deps-b-1755573547
    Let B be a helpful lemma.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_ota57q · Created

  • Deps Smoke A 2025-08-19T03:19:07+00:00

    theoremthm:deps-a-1755573547
    Let A be awesome.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_ota57q · Created

  • Deps Smoke B 2025-08-19T03:18:02+00:00

    lemmalem:deps-b-1755573482
    Let B be a helpful lemma.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_pk73qa · Created

  • Deps Smoke A 2025-08-19T03:18:02+00:00

    theoremthm:deps-a-1755573482
    Let A be awesome.

    +0 / -0flags 0verified 0no proof

    Authors pv_deps_pk73qa · Created

  • easy

    equationeq:easy
    1+1=2

    +0 / -0flags 0verified 0no proof

    Authors Aaron · Created

  • For vectors x,yx,y, ∣⟨x,y⟩∣≤∥x∥ ∥y∥|\langle x,y\rangle|\le \|x\|\,\|y\|.

    +0 / -0flags 0verified 0no proof

    Authors citations_tester · Created

  • New lemma

    lemmalemma
    lemma

    +0 / -0flags 0verified 0no proof

    Authors Aaron · Created

  • A new theorem *

    theoremthm:wow
    wow

    +0 / -0flags 0verified 0no proof

    Authors Aaron · Created

  • PV Smoke Theorem 2025-08-18T21:43:48+00:00

    theoremthm:pv-smoke-12a369c7
    For any real numbers a,ba,b, ∣a+b∣≤∣a∣+∣b∣|a+b|\le |a|+|b|.

    +0 / -0flags 0verified 0no proof

    Authors pv_smoke · Created

  • PV Smoke Theorem 2025-08-18T21:40:55+00:00

    theoremthm:pv-smoke-a48386ae
    For any real numbers a,ba,b, ∣a+b∣≤∣a∣+∣b∣|a+b|\le |a|+|b|.

    +0 / -0flags 0verified 0no proof

    Authors pv_smoke · Created

  • PV Smoke Theorem 2025-08-18T21:40:25+00:00

    theoremthm:pv-smoke-8f3fe7bf
    For any real numbers a,ba,b, ∣a+b∣≤∣a∣+∣b∣|a+b|\le |a|+|b|.

    +0 / -0flags 0verified 0no proof

    Authors pv_smoke · Created

  • PV Smoke Theorem 2025-08-18T21:38:42+00:00

    theoremthm:pv-smoke-f41cdcd2
    For any real numbers a,ba,b, ∣a+b∣≤∣a∣+∣b∣|a+b|\le |a|+|b|.

    +0 / -0flags 0verified 0no proof

    Authors pv_smoke · Created

Showing 301-320 of 321
BackNext