Robuta

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