ISO/IEC DIS 26791-1 – The RISC-V instruction set manual

That's how it works, yes, if the originator makes it freely available then so does ISO.