laterProofBy
P102910
predicate
Indicates that one proof is derived or established after, and possibly building upon, an earlier proof.
All labels observed (1)
| Label | Occurrences |
|---|---|
| laterProofBy canonical | 3 |