Maybe not a Ctrl+F interpretation of "mentioned in a law", but yes, definitely - if something is required by legislation, all copyright, patents, etc. should be void.
If the government requires product category X to be developed to the spec of standard Y and standard Y is a closed standard, that law should either be invalidated or the standard should be opened. If a hypothetical government required all citizens to read a specific book, that book better be royalty-free to distribute.
If the government requires product category X to be developed to the spec of standard Y and standard Y is a closed standard, that law should either be invalidated or the standard should be opened. If a hypothetical government required all citizens to read a specific book, that book better be royalty-free to distribute.