Category:Handwaving

From ProofWiki

Jump to: navigation, search

These are pages containing proofs that contain handwaving arguments.

See the handwaving template.

Pages in category "Handwaving"

The following 22 pages are in this category, out of 22 total.

C

D

E

External Direct Product of Groups/General Result

F

Finite Lexicographic Order on Well-Ordered Sets is Well-Ordering

G

General Operation from a Binary Operation

I

Infinite Lexicographic Order on Well-Ordered Sets is Not Well-Ordering

L

N

Naturally Ordered Semigroup under Multiplication is Ordered Commutative Semigroup

R

Restriction of Monotone Function is Monotone

S

Substitution Instance

S cont.

T

U

Union is Dominated by Disjoint Union

W

Well-Ordering Theorem

Retrieved from "http://www.proofwiki.org/w/index.php?title=Category:Handwaving&oldid=52078"

Incomplete

Personal tools

Log in / create account

ProofWiki.org

ToDo

Toolbox

Google AdSense