subproof
English
Etymology
From
sub-
+
proof
.
Noun
subproof
(
plural
subproofs
)
(
mathematics
)
A
proof
that makes up part of a larger proof.