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

_

---

I (theorems)

IN_UNITS
IS_NORMAL_TO_PLANE_UNIT
IS_PLANE_WAVE
IS_PLANE_WAVE_AT_INTERFACE_BOUNDARY_CONDITIONS
IS_PLANE_WAVE_AT_INTERFACE_IS_NORMAL_TO_PLANE
IS_PLANE_WAVE_AT_INTERFACE_MAGNITUDES_RELATION
IS_PLANE_WAVE_AT_INTERFACE_NON_NULL_NORMAL
IS_PLANE_WAVE_AT_INTERFACE_PLANE
IS_VALID_INTERFACE_IS_NORMAL_TO_PLANE
IS_VALID_INTERFACE_PLANE
is_mode_axis
is_normal_to_plane
is_orthogonal_plane_basis
is_plane_basis
is_plane_wave
is_plane_wave_at_interface
is_projection_on_hyperplane
is_valid_emf
is_valid_interface