Metamath Proof Explorer

Table of Contents - 20.4.15. The existence of a minimal element in certain classes

1. bnj69
2. bnj1228