The AI-powered English dictionary
plural subproofs
(mathematics) A proof that makes up part of a larger proof. examples