subproof

English

Etymology

From sub- +‎ proof.

Noun

subproof (plural subproofs)

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