Robuta

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