Metamath Proof Explorer


Table of Contents - 20.31.12. Diophantine sets 2: union and intersection. Monotone Boolean algebra

  1. diophin
  2. diophun
  3. eldiophss