Huzita–Hatori axioms (source code)

= Huzita–Hatori axioms
{wiki=Huzita–Hatori_axioms}