E
uler_
P
olyhedron_
F
ormula
Library_Extras
Inclusion_Exclusion
Euler_Formula