Dense 📖 | MathDef | 134 mathmath: ContinuousMap.dense_setOf_contDiff, eventually_residual, exists_open_dense_of_open_dense_subtype, AddAction.isTopologicallyTransitive_iff_dense_iUnion_preimage, DenseRange.dense_of_mapsTo, dense_iff_exists_between, MulAction.isTopologicallyTransitive_iff_dense_iUnion_preimage, ContDiff.dense_compl_range_of_finrank_lt_finrank, Dense.exists_countable_dense_subset_bot_top, Subgroup.dense_of_not_isolated_one, dense_of_mem_residual, Submodule.dense_iff_topologicalClosure_eq_top, IsGδ.dense_sUnion_interior_of_closed, AlgebraicGeometry.Scheme.RationalMap.dense_domain, EMetric.dense_iff, AddSubgroup.dense_of_no_min, IsOpen.dense_of_preimage_vadd_invariant, Dense.smul, dense_liouville, Dense.vadd, dense_coborder, dense_closure, Subtype.dense_iff, dense_univ, dense_iUnion_interior_of_closed, denseRange_subtype_val, dense_iInter_of_Gδ, IsGδ.dense_biUnion_interior_of_closed, MeasureTheory.Measure.dense_of_ae, IsOpen.dense_of_preimage_smul_invariant, IsOpenQuotientMap.dense_preimage_iff, dense_discrete, AddCircle.dense_addSubgroup_iff_ne_zmultiples, Metric.dense_iff_iUnion_ball, MeasureTheory.dense_of_generateFrom_isSetRing, Metric.dense_iUnion_range_toInductiveLimit, UniqueDiffWithinAt.dense_tangentConeAt, dense_biUnion_interior_of_closed, ContDiffOn.dense_compl_image_of_dimH_lt_finrank, dense_biInter_of_isOpen, Dense.of_closure, MeasureTheory.dense_of_generateFrom_isSetSemiring, dense_iInter_of_isOpen, dense_sUnion_interior_of_closed, dense_irrational, dense_iff_closure_eq, Dense.mono, IsOpen.dense_iUnion_preimage_vadd, uniqueDiffWithinAt_iff, AddSubgroup.dense_iff_ne_zmultiples, isClosed_isNowhereDense_iff_compl, dense_of_nonempty_vadd_invariant, dense_indiscrete, MeasureTheory.Lp.boundedContinuousFunction_dense, dense_differentiableAt_norm, Dense.diff_finite, IsOpen.dense_iUnion_preimage_smul, dense_addSubmonoidClosure_iff_addSubgroupClosure, Dense.inter_of_isOpen_left, Dense.exists_countable_dense_subset_no_bot_top, QuotientGroup.dense_preimage_mk, BaireSpace.baire_property, IsSelfAdjoint.dense_domain, Dense.diff_singleton, MulAction.dense_orbit, IsDenseEmbedding.dense_image, Metric.dense_iff, Subgroup.dense_or_cyclic, Set.Countable.dense_compl, dense_compl_singleton_iff_not_open, IsOpen.dense_iUnion_smul, IsOpen.dense, AddAction.IsMinimal.dense_orbit, dense_pi, TopologicalSpace.exists_countable_dense, QuotientAddGroup.dense_image_mk, mem_residual, dense_sInter_of_Gδ, Rat.dense_compl_compact, Dense.inter_of_isOpen_right, dense_submonoidClosure_iff_subgroupClosure, Dense.inter_of_Gδ, AddAction.dense_orbit, Dense.diff_finset, QuotientAddGroup.dense_preimage_mk, dense_addSubgroupClosure_pair_iff, AddAction.isTopologicallyTransitive_iff_dense_iUnion, dense_of_nonempty_smul_invariant, IsDenseInducing.dense_image, dense_compl_singleton, dense_iff_inter_open, LinearMap.isClosed_or_dense_ker, MulAction.isTopologicallyTransitive_iff_dense_iUnion, AddSubgroup.dense_or_cyclic, AlgebraicGeometry.Scheme.Hom.dense_smoothLocus_of_perfectField, MulAction.IsMinimal.dense_orbit, IsGδ.dense_iUnion_interior_of_closed, dense_sInter_of_isOpen, Topology.IsInducing.dense_iff, AddAction.isTopologicallyTransitive_iff_dense_of_preimage_invariant, Subgroup.dense_of_no_min, dense_biInter_of_Gδ, AlgebraicGeometry.Scheme.PartialMap.dense_domain, dense_compl_of_dimH_lt_finrank, exists_countable_dense_bot_top, ContinuousMapZero.adjoin_id_dense, Dense.exists_countable_dense_subset, dense_iInter_of_isOpen_nat, MeasureTheory.Lp.dense_hasCompactSupport_contDiff, AddSubgroup.dense_of_not_isolated_zero, interior_eq_empty_iff_dense_compl, DenseRange.dense_image, TopologicalSpace.separableSpace_iff, exists_countable_dense_no_bot_top, Dense.preimage, QuotientGroup.dense_image_mk, MulAction.isTopologicallyTransitive_iff_dense_of_preimage_invariant, Subgroup.dense_xor'_cyclic, AlgebraicGeometry.Scheme.PartialMap.exists_restrict_isOver, Dense.orderDual, mem_residual_iff, TopologicalSpace.SeparableSpace.exists_countable_dense, IsOpen.dense_iUnion_vadd, dense_of_exists_between, TopologicalSpace.IsTopologicalBasis.dense_iff, MeasureTheory.Lp.simpleFunc.dense, Dense.quotient, ENNReal.exists_countable_dense_no_zero_top, Set.Finite.dense_sInter, Submodule.isClosed_or_dense_of_isCoatom, Dense.prod, Dense.closure, AddSubgroup.dense_xor'_cyclic, Subgroup.dense_iff_ne_zpowers
|