Robuta

https://us.metamath.org/mpeuni/satfvsucom.html satfvsucom - Mathbox for Mario Carneiro mathboxmariocarneiro