This was originally proved in
M. Newman, J. R. Smart, Symplectic modulary groups, Acta Arith 9 (1964), 83-89.
Andy Putman
- 44.8k
- 14
- 186
- 272