GeneralLinearGroup 📖 | CompOp | 197 mathmath: GeneralLinearGroup.det_scalar, ModularGroup.SLOnGLPos_smul_apply, ModularForm.smul_slash, GLPos.coe_neg_apply, Subgroup.adjoinNegOne_eq_self_iff, SpecialLinearGroup.map_mapGL, GeneralLinearGroup.map_det, SpecialLinearGroup.continuous_toGL, Subgroup.instHasDetOneRangeSpecialLinearGroupGeneralLinearGroupMapGL, ModularForm.mul_slash, GeneralLinearGroup.IsParabolic.parabolicFixedPoint_pow, SpecialLinearGroup.coeToGL_det, GeneralLinearGroup.map_comp_apply, UpperHalfPlane.re_smul, Subgroup.instHasDetOneMapSpecialLinearGroupGeneralLinearGroupToGL, SpecialLinearGroup.toGLPos_injective, GeneralLinearGroup.mem_center_iff_val_mem_range_scalar, CongruenceSubgroup.exists_Gamma_le_conj', UpperHalfPlane.tendsto_smul_atImInfty, SlashInvariantForm.quotientFunc_mk, ModularForm.SL_slash, CongruenceSubgroup.conjGL_coe, UpperHalfPlane.im_smul_eq_div_normSq, GeneralLinearGroup.map_inv_mul_map, UpperHalfPlane.num_neg, UpperHalfPlane.moebius_im, ModularForm.prod_slash, OnePoint.smul_infty_eq_self_iff, GeneralLinearGroup.coe_toLin, CongruenceSubgroup.strictPeriods_Gamma0, ModularForm.norm_eq_zero_iff, GeneralLinearGroup.isParabolic_conj_iff, ModularForm.prod_slash_sum_weights, ModularGroup.coe_apply_complex, ModularForm.levelOne_neg_weight_rank_zero, Subgroup.IsArithmetic.is_commensurable, Subgroup.IsArithmetic.inter, ModularGroup.sl_moeb, GeneralLinearGroup.center_eq_range_scalar, Subgroup.instHasDetOneMinGeneralLinearGroup_1, CuspForm.coe_trace, UpperHalfPlane.J_sq, CongruenceSubgroup.exists_Gamma_le_conj, UpperHalfPlane.denom_cocycle_σ, Subgroup.instIsArithmeticRangeSpecialLinearGroupFinOfNatNatIntGeneralLinearGroupRealMapGL, SpecialLinearGroup.isClosedEmbedding_toGL, Subgroup.mem_adjoinNegOne_iff, Subgroup.instIsArithmeticMapSpecialLinearGroupFinOfNatNatIntGeneralLinearGroupRealMapGLOfFiniteIndex, SlashInvariantForm.coe_translate, GeneralLinearGroup.upperRightHom_apply, Subgroup.IsArithmetic.isCusp_iff_isCusp_SL2Z, isCusp_SL2Z_iff', ModularGroup.lcRow0Extend_symm_apply, ModularGroup.denom_apply, card_GL_field, OnePoint.smul_some_eq_ite, GeneralLinearGroup.continuous_det, UpperHalfPlane.σ_mul, Subgroup.commensurable_adjoinNegOne_self, Subgroup.strictWidthInfty_eq_one_of_T_mem, Subgroup.negOne_mem_adjoinNegOne, SpecialLinearGroup.mapGL_injective, ModularGroup.SL_to_GL_tower, ModularFormClass.one_mem_strictPeriods_SL2Z, OnePoint.map_smul, SpecialLinearGroup.mapGL_inj, GeneralLinearGroup.IsParabolic.pow, ModularForm.levelOne_weight_zero_rank_one, CongruenceSubgroup.strictWidthInfty_Gamma0, CongruenceSubgroup.IsArithmetic.conj, UpperHalfPlane.denom_cocycle, GeneralLinearGroup.coe_one, ModularGroup.lcRow0Extend_apply, GeneralLinearGroup.map_comp, SpecialLinearGroup.isClosedEmbedding_mapGLInt, Subgroup.IsArithmetic.isFiniteRelIndexSL, GeneralLinearGroup.map_inv, Subgroup.strictPeriods_eq_zmultiples_one_of_T_mem, GeneralLinearGroup.toLin'_apply, CongruenceSubgroup.isArithmetic_conj_SL2Z, EisensteinSeries.q_expansion_riemannZeta, ModularGroup.denom_S, SpecialLinearGroup.isInducing_mapGL, GeneralLinearGroup.continuous_upperRightHom, UpperHalfPlane.im_smul, OnePoint.IsZeroAt.smul_iff, UpperHalfPlane.σ_neg, instIsFiniteRelIndexGeneralLinearGroupAdjoinNegOne, UpperHalfPlane.coe_smul, MDifferentiable.slash, GeneralLinearGroup.fixpointPolynomial_aeval_eq_zero_iff, CuspForm.coe_translate, Subgroup.isArithmetic_iff_finiteIndex, SpecialLinearGroup.toGL_injective, EisensteinSeries.isBoundedAtImInfty_eisensteinSeries_SIF, Subgroup.instHasDetOneMinGeneralLinearGroup, isCusp_SL2Z_iff, surjective_cosetToCuspOrbit, CongruenceSubgroup.strictWidthInfty_Gamma1, UpperHalfPlane.J_smul, EisensteinSeries.eisensteinSeries_SIF_apply, UpperHalfPlane.denom_neg, GeneralLinearGroup.isParabolic_conj_iff', CongruenceSubgroup.finiteIndex_conjGL, SpecialLinearGroup.range_toGL, SpecialLinearGroup.isEmbedding_toGL, SpecialLinearGroup.coe_GLPos_neg, ModularForm.SL_slash_def, OnePoint.smul_infty_eq_ite, GeneralLinearGroup.mem_center_iff_val_eq_scalar, UpperHalfPlane.coe_J_smul, GeneralLinearGroup.map_swap, CongruenceSubgroup.strictPeriods_Gamma1, OnePoint.IsBoundedAt.smul_iff, GeneralLinearGroup.coe_inv, SlashInvariantForm.coe_trace, SlashInvariantForm.slash_action_eqn_SL'', CongruenceSubgroup.strictWidthInfty_Gamma, EisensteinSeries.q_expansion_bernoulli, GeneralLinearGroup.map_mul_map_inv, GeneralLinearGroup.val_inv_det_apply, GeneralLinearGroup.center_eq_range_units, ModularGroup.im_smul_eq_div_normSq, SpecialLinearGroup.coe_GL_coe_matrix, CongruenceSubgroup.mem_conjGL, SpecialLinearGroup.coe_to_GLPos_to_GL_det, OnePoint.smul_infty_def, CongruenceSubgroup.strictPeriods_Gamma, cosetToCuspOrbit_apply_mk, GeneralLinearGroup.val_inv_scalar_apply, OnePoint.exists_mem_SL2, mem_glpos, Subgroup.le_adjoinNegOne, GeneralLinearGroup.val_map_apply, UpperHalfPlane.det_J, ModularGroup.coe_one, ModularForm.coe_norm, Subgroup.strictPeriods_SL2Z, CongruenceSubgroup.mem_conjGL', ModularGroup.exists_one_half_le_im_smul_and_norm_denom_le, Subgroup.mem_strictPeriods_iff, ModularForm.prod_fintype_slash, SpecialLinearGroup.coe_GLPos_coe_GL_coe_matrix, GeneralLinearGroup.map_apply, SlashInvariantForm.vAdd_width_periodic, UpperHalfPlane.denom_one, ModularForm.slash_def, UpperHalfPlane.instContinuousGLSMul, ModularForm.is_invariant_one', EisensteinSeries.eisensteinSeriesSIF_apply, UpperHalfPlane.mul_smul', GeneralLinearGroup.map_one, EisensteinSeries.eisensteinSeries_tendstoLocallyUniformlyOn, GeneralLinearGroup.map_mul, SpecialLinearGroup.mapGL_coe_matrix, GeneralLinearGroup.coe_mul, Subgroup.IsArithmetic.finiteIndex_comap, SpecialLinearGroup.det_mapGL, ModularForm.SL_slash_apply, SpecialLinearGroup.discreteSpecialLinearGroupIntRange, EisensteinSeries.eisSummand_SL2_apply, EisensteinSeries.eisensteinSeries_SIF_MDifferentiable, ModularGroup.det_coe, UpperHalfPlane.IsZeroAtImInfty.slash, UpperHalfPlane.denom_cocycle', ModularForm.coe_translate, UpperHalfPlane.neg_smul, GeneralLinearGroup.val_scalar_apply, GeneralLinearGroup.map_id, ModularForm.coe_trace, GLPos.coe_neg_GL, CongruenceSubgroup.IsCongruenceSubgroup.conjGL, Subgroup.instHasDetOneMapSpecialLinearGroupGeneralLinearGroupMapGL, GeneralLinearGroup.injective_upperRightHom, EisensteinSeries.eisensteinSeriesSIF_mdifferentiable, ModularGroup.coeHom_apply, Subgroup.strictWidthInfty_SL2Z, GeneralLinearGroup.IsParabolic.smul_eq_self_iff, SpecialLinearGroup.isInducing_toGL, Subgroup.IsArithmetic.discreteTopology, UpperHalfPlane.smulAux'_im, Subgroup.IsArithmetic.conj, SlashInvariantForm.coe_norm, instDiscreteTopologySubtypeGeneralLinearGroupMemSubgroupAdjoinNegOneOfIsTopologicalRingOfT2Space, UpperHalfPlane.IsBoundedAtImInfty.slash, IsCusp.smul, SpecialLinearGroup.toGL_inj, GeneralLinearGroup.toLin_apply, Subgroup.hasDetPlusMinusOne_iff_abs_det, SpecialLinearGroup.isEmbedding_mapGL, SlashInvariantForm.T_zpow_width_invariant, EisensteinSeries.isBoundedAtImInfty_eisensteinSeriesSIF, ModularForm.slash_apply, GLPos.coe_neg, GeneralLinearGroup.val_det_apply, UpperHalfPlane.petersson_slash, GeneralLinearGroup.fin_two_smul_prod
|