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