lemma_impl_rmat_quat.v 25.3 KB