Robuta

https://us.metamath.org/nfegif/2exsb.html 2exsb - New Foundations Explorer new foundationsexplorer