3 ms·
Very cool. The metamath community tends to centralize results, so its equivalent is simply: https://us.metamath.org/ https://us.metamath.org/
by dwheeler 2mo ago
Very cool. The metamath community tends to centralize results, so its equivalent is simply:
https://us.metamath.org/ https://us.metamath.org/