contains

used by (40)

From the project-wide theorem graph. These declarations reference this one in their body.

• H_SATCARuntime in IndisputableMonolith.Complexity.CellularAutomata decl_use
• jcostEdgeWeight_le_clauses in IndisputableMonolith.Complexity.JCostLaplacian decl_use
• Instance in IndisputableMonolith.Complexity.VertexCover decl_use
• zAgingChannel_count in IndisputableMonolith.Cosmology.HubbleTensionPipelineFromZAging decl_use
• contains in IndisputableMonolith.Ethics.StakeGraph decl_use
• reachable in IndisputableMonolith.Ethics.StakeGraph decl_use
• aggCoeff_rowMoves_aux_theorem in IndisputableMonolith.Ethics.Virtues.NormalForm decl_use
• mem_toMoves_of_coeff_ne_zero in IndisputableMonolith.Ethics.Virtues.NormalForm decl_use
• phi3_eq in IndisputableMonolith.Foundation.CKMLambdaFromPhiLadder decl_use
• RSExists_stable in IndisputableMonolith.Foundation.DiscretenessForcing decl_use
• has_distinguishable_events in IndisputableMonolith.Foundation.ObserverForcing decl_use
• firstPassProgram_nodup in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
• firstPassSchedule_mem_high_or_immediate in IndisputableMonolith.Foundation.OptionAEmpiricalSchedule decl_use
• Recognizer in IndisputableMonolith.Foundation.RecognizerInducesLogic decl_use
• J_stationary in IndisputableMonolith.Foundation.SimplicialLedger decl_use
• unity_has_no_phi_structure in IndisputableMonolith.Foundation.StillnessGenerative decl_use
• self_feasible in IndisputableMonolith.Foundation.VariationalDynamics decl_use
• gutenbergRichterCert in IndisputableMonolith.Geology.GutenbergRichterFromLedger decl_use
• liCoupling in IndisputableMonolith.Gravity.Candidates.Li decl_use
• phi_irrational_information in IndisputableMonolith.Information.InformationIsLedger decl_use
• simulation_reduces_to_tautology in IndisputableMonolith.Information.SimulationHypothesisStructure decl_use
• simulation_unprovable in IndisputableMonolith.Information.SimulationHypothesisStructure decl_use
• chain_unique_given_edge_pair in IndisputableMonolith.Masses.StepValueEnumeration decl_use
• current_chain_distinct in IndisputableMonolith.Masses.StepValueEnumeration decl_use
• numberSystemCount in IndisputableMonolith.Mathematics.NumberSystemsFromRS decl_use
• congruence_offsets_unique in IndisputableMonolith.Mathematics.RamanujanBridge.CongruenceQ3Bridge decl_use
• nine801_eq_9_times_11_sq in IndisputableMonolith.Mathematics.RamanujanBridge.RamanujanPiFactors decl_use
• integral_radial_skew_identity_from in IndisputableMonolith.NavierStokes.SkewHarmGate decl_use
• denseDomain_nonempty in IndisputableMonolith.NumberTheory.CostOperatorRegularity decl_use
• concreteDirectedEulerLedgerSystem in IndisputableMonolith.NumberTheory.DirectedEulerLedger decl_use

… and 10 more