fact: Definition to_be_generated := forAll arbitrary (fun x => forAll arbitrary (fun y => if (x = y)? then checker ((x = 0)?) else checker tt)).
imports: QuickChick(QuickChick) Coq(Nat) Coq(Arith.Arith) Coq(Logic.FunctionalExtensionality)