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

_

---

V (theorems)

v_compat_bij2
v_edge_ball
v_edge_cases
v_edge_closed_ball
v_edge_closure
v_edge_col
v_edge_convex
v_edge_cpoint
v_edge_disj
v_edge_euclid
v_edge_floor
v_edge_inj
v_edge_inter
v_edge_pointI
v_edge_pointIv2
v_edge_subset
v_simple_polygonal
v_translate_bij
v_translate_cont
v_translate_h
v_translate_hom
v_translate_inv
v_translate_point
v_translate_v
vc_edge_closed
vc_edge_convex
vc_edge_inter
vc_edge_pointI