Theorem SymplecticGroup.transpose_mem_iff

Modification history