3 ms·My favourite math library: http://us.metamath.org/ http://us.metamath.org/by mazsa 11y agoMy favourite math library: http://us.metamath.org/ http://us.metamath.org/