Metamath Proof Explorer

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

1. diophin
2. diophun
3. eldiophss