PhysLean Documentation

PhysLean.StringTheory.FTheory.SU5U1.Charges.PhenoConstrained.Elems.Card

Cardinality of nonPhenoConstrainedCharges #

source
theorem FTheory.SU5U1.Charges.nonPhenoConstrainedCharges_same_card :
(nonPhenoConstrainedCharges CodimensionOneConfig.same).card = 1148
source
theorem FTheory.SU5U1.Charges.nonPhenoConstrainedCharges_nearestNeighbor_card :
(nonPhenoConstrainedCharges CodimensionOneConfig.nearestNeighbor).card = 407
source
theorem FTheory.SU5U1.Charges.nonPhenoConstrainedCharges_nextToNearestNeighbor_card :
(nonPhenoConstrainedCharges CodimensionOneConfig.nextToNearestNeighbor).card = 234