Only set proof.@context
if it is set on unsecuredDocument
.
#178
Job | Run time |
---|---|
1m 0s | |
1m 0s |
proof.@context
if it is set on unsecuredDocument
.
#178
Job | Run time |
---|---|
1m 0s | |
1m 0s |