Theorem UpperHalfPlane.ModularGroup.det_coe'

Modification history