Only set proof.@context
if it is set on unsecuredDocument
.
#204
Job | Run time |
---|---|
57s | |
57s |
proof.@context
if it is set on unsecuredDocument
.
#204
Job | Run time |
---|---|
57s | |
57s |