Several problems on sequences of nats or Booleans#128

DmxLarchey wants to merge 1 commit intouds-psl:coq-8.13uds-psl/coq-library-undecidability:coq-8.13from

DmxLarchey:infinite_boolean_testDmxLarchey/coq-library-undecidability:infinite_boolean_testCopy head branch name to clipboard