Change Details

If a proof is orphaned we know about it already. Depends on D9659. Ref T1611.

If a proof is orphaned we know about it already. Ref T1611.

If a proof is orphaned we know about it already. Depends on D9659. Ref T1611.