Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
General auxiliary theorems (2)
Subtraction - extension
Next ⟩
cnambpcma
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 21.54.6.8. Subtraction - extension
cnambpcma
cnapbmcpd
addsubeq0