Metamath Proof Explorer


Table of Contents - 20.43.6.9. Subtraction - extension

  1. cnambpcma
  2. cnapbmcpd
  3. addsubeq0