A new theorem *

theorem

Versions

theoremthm:wow

2025-08-19T05:12:13.884977Z · by Aaron ·

Statement flagged by 0 users

wow

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

No prerequisites tracked.

No dependents yet.

No dependent proofs yet.

Aaron · primary

Loading…

Add a commentFlag this comment

Loading…

Please log in to submit a proof.