Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof