English

edit

Etymology

edit

From sub- +‎ proof.

Noun

edit

subproof (plural subproofs)

  1. (mathematics) A proof that makes up part of a larger proof.