A proof of a different statement from the one you meant
The formal statement that was proved does not say what the claim in words says.
Guarded today by
Can be caused by
No component declares that its own use can cause it.
The formal statement that was proved does not say what the claim in words says.
No component declares that its own use can cause it.