The immediate subproofs of this rule.
Iterate over all sub-proofs including this in post-order, ignoring duplicates.
Iterate over all sub-proofs including this in post-order, ignoring duplicates.
Set of all visited sub-proofs including this.
A sequence of all sub-proofs including this in post-order, ignoring duplicates.
Iterate over all sub-proofs including this in post-order.
The name of the rule (in words).
The name of the rule (in symbols).
A sequence of all sub-proofs including this in post-order.
Set of all sub-proofs including this.