meredith - Metamath Proof Explorer [http://us.metamath.org/mpegif/meredith.html] - 2018-11-29 19:31:11 - public:stevetao Axiom, Logic, Math, Math-Logic, Meredith, Single-Axiom - 6 | id:226464 -
