HOL html

Files Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Theorems Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

---

L (theorems)

LESS_0_CASES
LESS_ADD_1
LESS_ADD_NONZERO
LESS_ADD_SUC
LESS_EQ_0
LESS_EQ_MULT
LESS_LESS_CASES
LESS_MONO_ADD
LESS_MULT
LESS_THM
LT_POW2_REFL
lemma