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

_

---

N (theorems)

NON_COLLINEAR3_IMPLIES_DIFFERENT
NON_COLLINEAR_INDEPENDENT
NON_NULL_COLLINEARS
NON_NULL_LEMMA
NON_NULL_LEMMA_PASTECART
NON_PROJECTED_E_RELATION_IN_TE_MODE
NON_VEC0
NON_VEC0_DIM3
NORM2_ADD_REAL
NORMAL_OF_INTERFACE_NON_NULL
NORMAL_OF_PLANE_IS_NORMAL_TO_BASIS
NORMAL_OF_PLANE_IS_ORTHOGONAL_TO_SEGMENT
NORMAL_OF_PLANE_NON_NULL
NORMAL_ORTHOGONAL_IN_PLANE_SPAN
NORMAL_SPAN_SUBSET_ORTHOGONAL_SUBSPACE
NORM_PASTECART_GE1
NORM_PASTECART_GE2
NORM_RE
n1_of_interface
n2_of_interface
non_null_wave
normal_of_interface