Theorem UpperHalfPlane.SL_neg_smul

Modification history