Theorem UpperHalfPlane.exists_SL2_smul_eq_of_apply_zero_one_eq_zero

Modification history