fact: Hypotheses (fit_p0r : exact_fitp x0 p0r) (nFx0 : arity x0 = nhub).
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry part quiz quiztree)