subproof

English edit

Etymology edit

sub- +‎ proof

Noun edit

subproof (plural subproofs)

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

Retrieved from "https://en.wiktionary.org/w/index.php?title=subproof&oldid=51783313"