Metamath Proof Explorer


Table of Contents - 21.47.6.8. Subtraction - extension

  1. cnambpcma
  2. cnapbmcpd
  3. addsubeq0