fact: Definition oddg_cases T c b00 b01 b10 b11 : T := let: Gpoint x y := c in if x == 0 then if_expr (y == 0) b00 b01 else if_expr (y == 0) b10 b11.
imports: HB(structures) mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq path) mathcomp(div choice order ssralg ssrnum ssrint intdiv) fourcolor(hypermap)