11031103< a id ="47109 " class ="Keyword "> import</ a > < a id ="47116 " href ="Cubical.WildCat.Instances.Path.html " class ="Module "> Cubical.WildCat.Instances.Path</ a >
11041104< a id ="47147 " class ="Keyword "> import</ a > < a id ="47154 " href ="Cubical.WildCat.Instances.Pointed.html " class ="Module "> Cubical.WildCat.Instances.Pointed</ a >
11051105< a id ="47188 " class ="Keyword "> import</ a > < a id ="47195 " href ="Cubical.WildCat.Instances.Types.html " class ="Module "> Cubical.WildCat.Instances.Types</ a >
1106- < a id ="47227 " class ="Keyword "> import</ a > < a id ="47234 " href ="Cubical.WildCat.Product.html " class ="Module "> Cubical.WildCat.Product</ a >
1107- < a id ="47258 " class ="Keyword "> import</ a > < a id ="47265 " href ="Cubical.WildCat.UnderlyingGraph.html " class ="Module "> Cubical.WildCat.UnderlyingGraph</ a >
1108- < a id ="47297 " class ="Keyword "> import</ a > < a id ="47304 " href ="Cubical.ZCohomology.Base.html " class ="Module "> Cubical.ZCohomology.Base</ a >
1109- < a id ="47329 " class ="Keyword "> import</ a > < a id ="47336 " href ="Cubical.ZCohomology.CohomologyRings.CP2.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.CP2</ a >
1110- < a id ="47376 " class ="Keyword "> import</ a > < a id ="47383 " href ="Cubical.ZCohomology.CohomologyRings.Coproduct.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.Coproduct</ a >
1111- < a id ="47429 " class ="Keyword "> import</ a > < a id ="47436 " href ="Cubical.ZCohomology.CohomologyRings.CupProductProperties.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.CupProductProperties</ a >
1112- < a id ="47493 " class ="Keyword "> import</ a > < a id ="47500 " href ="Cubical.ZCohomology.CohomologyRings.KleinBottle.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.KleinBottle</ a >
1113- < a id ="47548 " class ="Keyword "> import</ a > < a id ="47555 " href ="Cubical.ZCohomology.CohomologyRings.RP2.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.RP2</ a >
1114- < a id ="47595 " class ="Keyword "> import</ a > < a id ="47602 " href ="Cubical.ZCohomology.CohomologyRings.RP2wedgeS1.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.RP2wedgeS1</ a >
1115- < a id ="47649 " class ="Keyword "> import</ a > < a id ="47656 " href ="Cubical.ZCohomology.CohomologyRings.S0.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.S0</ a >
1116- < a id ="47695 " class ="Keyword "> import</ a > < a id ="47702 " href ="Cubical.ZCohomology.CohomologyRings.S1.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.S1</ a >
1117- < a id ="47741 " class ="Keyword "> import</ a > < a id ="47748 " href ="Cubical.ZCohomology.CohomologyRings.S2wedgeS4.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.S2wedgeS4</ a >
1118- < a id ="47794 " class ="Keyword "> import</ a > < a id ="47801 " href ="Cubical.ZCohomology.CohomologyRings.Sn.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.Sn</ a >
1119- < a id ="47840 " class ="Keyword "> import</ a > < a id ="47847 " href ="Cubical.ZCohomology.CohomologyRings.Unit.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.Unit</ a >
1120- < a id ="47888 " class ="Keyword "> import</ a > < a id ="47895 " href ="Cubical.ZCohomology.EilenbergSteenrodZ.html " class ="Module "> Cubical.ZCohomology.EilenbergSteenrodZ</ a >
1121- < a id ="47934 " class ="Keyword "> import</ a > < a id ="47941 " href ="Cubical.ZCohomology.GroupStructure.html " class ="Module "> Cubical.ZCohomology.GroupStructure</ a >
1122- < a id ="47976 " class ="Keyword "> import</ a > < a id ="47983 " href ="Cubical.ZCohomology.Groups.CP2.html " class ="Module "> Cubical.ZCohomology.Groups.CP2</ a >
1123- < a id ="48014 " class ="Keyword "> import</ a > < a id ="48021 " href ="Cubical.ZCohomology.Groups.Connected.html " class ="Module "> Cubical.ZCohomology.Groups.Connected</ a >
1124- < a id ="48058 " class ="Keyword "> import</ a > < a id ="48065 " href ="Cubical.ZCohomology.Groups.Coproduct.html " class ="Module "> Cubical.ZCohomology.Groups.Coproduct</ a >
1125- < a id ="48102 " class ="Keyword "> import</ a > < a id ="48109 " href ="Cubical.ZCohomology.Groups.KleinBottle.html " class ="Module "> Cubical.ZCohomology.Groups.KleinBottle</ a >
1126- < a id ="48148 " class ="Keyword "> import</ a > < a id ="48155 " href ="Cubical.ZCohomology.Groups.Prelims.html " class ="Module "> Cubical.ZCohomology.Groups.Prelims</ a >
1127- < a id ="48190 " class ="Keyword "> import</ a > < a id ="48197 " href ="Cubical.ZCohomology.Groups.RP2.html " class ="Module "> Cubical.ZCohomology.Groups.RP2</ a >
1128- < a id ="48228 " class ="Keyword "> import</ a > < a id ="48235 " href ="Cubical.ZCohomology.Groups.RP2wedgeS1.html " class ="Module "> Cubical.ZCohomology.Groups.RP2wedgeS1</ a >
1129- < a id ="48273 " class ="Keyword "> import</ a > < a id ="48280 " href ="Cubical.ZCohomology.Groups.S2wedgeS1wedgeS1.html " class ="Module "> Cubical.ZCohomology.Groups.S2wedgeS1wedgeS1</ a >
1130- < a id ="48324 " class ="Keyword "> import</ a > < a id ="48331 " href ="Cubical.ZCohomology.Groups.S2wedgeS4.html " class ="Module "> Cubical.ZCohomology.Groups.S2wedgeS4</ a >
1131- < a id ="48368 " class ="Keyword "> import</ a > < a id ="48375 " href ="Cubical.ZCohomology.Groups.Sn.html " class ="Module "> Cubical.ZCohomology.Groups.Sn</ a >
1132- < a id ="48405 " class ="Keyword "> import</ a > < a id ="48412 " href ="Cubical.ZCohomology.Groups.SphereProduct.html " class ="Module "> Cubical.ZCohomology.Groups.SphereProduct</ a >
1133- < a id ="48453 " class ="Keyword "> import</ a > < a id ="48460 " href ="Cubical.ZCohomology.Groups.Torus.html " class ="Module "> Cubical.ZCohomology.Groups.Torus</ a >
1134- < a id ="48493 " class ="Keyword "> import</ a > < a id ="48500 " href ="Cubical.ZCohomology.Groups.Unit.html " class ="Module "> Cubical.ZCohomology.Groups.Unit</ a >
1135- < a id ="48532 " class ="Keyword "> import</ a > < a id ="48539 " href ="Cubical.ZCohomology.Groups.Wedge.html " class ="Module "> Cubical.ZCohomology.Groups.Wedge</ a >
1136- < a id ="48572 " class ="Keyword "> import</ a > < a id ="48579 " href ="Cubical.ZCohomology.Gysin.html " class ="Module "> Cubical.ZCohomology.Gysin</ a >
1137- < a id ="48605 " class ="Keyword "> import</ a > < a id ="48612 " href ="Cubical.ZCohomology.MayerVietorisUnreduced.html " class ="Module "> Cubical.ZCohomology.MayerVietorisUnreduced</ a >
1138- < a id ="48655 " class ="Keyword "> import</ a > < a id ="48662 " href ="Cubical.ZCohomology.Properties.html " class ="Module "> Cubical.ZCohomology.Properties</ a >
1139- < a id ="48693 " class ="Keyword "> import</ a > < a id ="48700 " href ="Cubical.ZCohomology.RingStructure.CohomologyRing.html " class ="Module "> Cubical.ZCohomology.RingStructure.CohomologyRing</ a >
1140- < a id ="48749 " class ="Keyword "> import</ a > < a id ="48756 " href ="Cubical.ZCohomology.RingStructure.CohomologyRingFun.html " class ="Module "> Cubical.ZCohomology.RingStructure.CohomologyRingFun</ a >
1141- < a id ="48808 " class ="Keyword "> import</ a > < a id ="48815 " href ="Cubical.ZCohomology.RingStructure.CupProduct.html " class ="Module "> Cubical.ZCohomology.RingStructure.CupProduct</ a >
1142- < a id ="48860 " class ="Keyword "> import</ a > < a id ="48867 " href ="Cubical.ZCohomology.RingStructure.GradedCommutativity.html " class ="Module "> Cubical.ZCohomology.RingStructure.GradedCommutativity</ a >
1143- < a id ="48921 " class ="Keyword "> import</ a > < a id ="48928 " href ="Cubical.ZCohomology.RingStructure.RingLaws.html " class ="Module "> Cubical.ZCohomology.RingStructure.RingLaws</ a >
1106+ < a id ="47227 " class ="Keyword "> import</ a > < a id ="47234 " href ="Cubical.WildCat.Monad.html " class ="Module "> Cubical.WildCat.Monad</ a >
1107+ < a id ="47256 " class ="Keyword "> import</ a > < a id ="47263 " href ="Cubical.WildCat.Product.html " class ="Module "> Cubical.WildCat.Product</ a >
1108+ < a id ="47287 " class ="Keyword "> import</ a > < a id ="47294 " href ="Cubical.WildCat.UnderlyingGraph.html " class ="Module "> Cubical.WildCat.UnderlyingGraph</ a >
1109+ < a id ="47326 " class ="Keyword "> import</ a > < a id ="47333 " href ="Cubical.ZCohomology.Base.html " class ="Module "> Cubical.ZCohomology.Base</ a >
1110+ < a id ="47358 " class ="Keyword "> import</ a > < a id ="47365 " href ="Cubical.ZCohomology.CohomologyRings.CP2.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.CP2</ a >
1111+ < a id ="47405 " class ="Keyword "> import</ a > < a id ="47412 " href ="Cubical.ZCohomology.CohomologyRings.Coproduct.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.Coproduct</ a >
1112+ < a id ="47458 " class ="Keyword "> import</ a > < a id ="47465 " href ="Cubical.ZCohomology.CohomologyRings.CupProductProperties.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.CupProductProperties</ a >
1113+ < a id ="47522 " class ="Keyword "> import</ a > < a id ="47529 " href ="Cubical.ZCohomology.CohomologyRings.KleinBottle.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.KleinBottle</ a >
1114+ < a id ="47577 " class ="Keyword "> import</ a > < a id ="47584 " href ="Cubical.ZCohomology.CohomologyRings.RP2.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.RP2</ a >
1115+ < a id ="47624 " class ="Keyword "> import</ a > < a id ="47631 " href ="Cubical.ZCohomology.CohomologyRings.RP2wedgeS1.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.RP2wedgeS1</ a >
1116+ < a id ="47678 " class ="Keyword "> import</ a > < a id ="47685 " href ="Cubical.ZCohomology.CohomologyRings.S0.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.S0</ a >
1117+ < a id ="47724 " class ="Keyword "> import</ a > < a id ="47731 " href ="Cubical.ZCohomology.CohomologyRings.S1.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.S1</ a >
1118+ < a id ="47770 " class ="Keyword "> import</ a > < a id ="47777 " href ="Cubical.ZCohomology.CohomologyRings.S2wedgeS4.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.S2wedgeS4</ a >
1119+ < a id ="47823 " class ="Keyword "> import</ a > < a id ="47830 " href ="Cubical.ZCohomology.CohomologyRings.Sn.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.Sn</ a >
1120+ < a id ="47869 " class ="Keyword "> import</ a > < a id ="47876 " href ="Cubical.ZCohomology.CohomologyRings.Unit.html " class ="Module "> Cubical.ZCohomology.CohomologyRings.Unit</ a >
1121+ < a id ="47917 " class ="Keyword "> import</ a > < a id ="47924 " href ="Cubical.ZCohomology.EilenbergSteenrodZ.html " class ="Module "> Cubical.ZCohomology.EilenbergSteenrodZ</ a >
1122+ < a id ="47963 " class ="Keyword "> import</ a > < a id ="47970 " href ="Cubical.ZCohomology.GroupStructure.html " class ="Module "> Cubical.ZCohomology.GroupStructure</ a >
1123+ < a id ="48005 " class ="Keyword "> import</ a > < a id ="48012 " href ="Cubical.ZCohomology.Groups.CP2.html " class ="Module "> Cubical.ZCohomology.Groups.CP2</ a >
1124+ < a id ="48043 " class ="Keyword "> import</ a > < a id ="48050 " href ="Cubical.ZCohomology.Groups.Connected.html " class ="Module "> Cubical.ZCohomology.Groups.Connected</ a >
1125+ < a id ="48087 " class ="Keyword "> import</ a > < a id ="48094 " href ="Cubical.ZCohomology.Groups.Coproduct.html " class ="Module "> Cubical.ZCohomology.Groups.Coproduct</ a >
1126+ < a id ="48131 " class ="Keyword "> import</ a > < a id ="48138 " href ="Cubical.ZCohomology.Groups.KleinBottle.html " class ="Module "> Cubical.ZCohomology.Groups.KleinBottle</ a >
1127+ < a id ="48177 " class ="Keyword "> import</ a > < a id ="48184 " href ="Cubical.ZCohomology.Groups.Prelims.html " class ="Module "> Cubical.ZCohomology.Groups.Prelims</ a >
1128+ < a id ="48219 " class ="Keyword "> import</ a > < a id ="48226 " href ="Cubical.ZCohomology.Groups.RP2.html " class ="Module "> Cubical.ZCohomology.Groups.RP2</ a >
1129+ < a id ="48257 " class ="Keyword "> import</ a > < a id ="48264 " href ="Cubical.ZCohomology.Groups.RP2wedgeS1.html " class ="Module "> Cubical.ZCohomology.Groups.RP2wedgeS1</ a >
1130+ < a id ="48302 " class ="Keyword "> import</ a > < a id ="48309 " href ="Cubical.ZCohomology.Groups.S2wedgeS1wedgeS1.html " class ="Module "> Cubical.ZCohomology.Groups.S2wedgeS1wedgeS1</ a >
1131+ < a id ="48353 " class ="Keyword "> import</ a > < a id ="48360 " href ="Cubical.ZCohomology.Groups.S2wedgeS4.html " class ="Module "> Cubical.ZCohomology.Groups.S2wedgeS4</ a >
1132+ < a id ="48397 " class ="Keyword "> import</ a > < a id ="48404 " href ="Cubical.ZCohomology.Groups.Sn.html " class ="Module "> Cubical.ZCohomology.Groups.Sn</ a >
1133+ < a id ="48434 " class ="Keyword "> import</ a > < a id ="48441 " href ="Cubical.ZCohomology.Groups.SphereProduct.html " class ="Module "> Cubical.ZCohomology.Groups.SphereProduct</ a >
1134+ < a id ="48482 " class ="Keyword "> import</ a > < a id ="48489 " href ="Cubical.ZCohomology.Groups.Torus.html " class ="Module "> Cubical.ZCohomology.Groups.Torus</ a >
1135+ < a id ="48522 " class ="Keyword "> import</ a > < a id ="48529 " href ="Cubical.ZCohomology.Groups.Unit.html " class ="Module "> Cubical.ZCohomology.Groups.Unit</ a >
1136+ < a id ="48561 " class ="Keyword "> import</ a > < a id ="48568 " href ="Cubical.ZCohomology.Groups.Wedge.html " class ="Module "> Cubical.ZCohomology.Groups.Wedge</ a >
1137+ < a id ="48601 " class ="Keyword "> import</ a > < a id ="48608 " href ="Cubical.ZCohomology.Gysin.html " class ="Module "> Cubical.ZCohomology.Gysin</ a >
1138+ < a id ="48634 " class ="Keyword "> import</ a > < a id ="48641 " href ="Cubical.ZCohomology.MayerVietorisUnreduced.html " class ="Module "> Cubical.ZCohomology.MayerVietorisUnreduced</ a >
1139+ < a id ="48684 " class ="Keyword "> import</ a > < a id ="48691 " href ="Cubical.ZCohomology.Properties.html " class ="Module "> Cubical.ZCohomology.Properties</ a >
1140+ < a id ="48722 " class ="Keyword "> import</ a > < a id ="48729 " href ="Cubical.ZCohomology.RingStructure.CohomologyRing.html " class ="Module "> Cubical.ZCohomology.RingStructure.CohomologyRing</ a >
1141+ < a id ="48778 " class ="Keyword "> import</ a > < a id ="48785 " href ="Cubical.ZCohomology.RingStructure.CohomologyRingFun.html " class ="Module "> Cubical.ZCohomology.RingStructure.CohomologyRingFun</ a >
1142+ < a id ="48837 " class ="Keyword "> import</ a > < a id ="48844 " href ="Cubical.ZCohomology.RingStructure.CupProduct.html " class ="Module "> Cubical.ZCohomology.RingStructure.CupProduct</ a >
1143+ < a id ="48889 " class ="Keyword "> import</ a > < a id ="48896 " href ="Cubical.ZCohomology.RingStructure.GradedCommutativity.html " class ="Module "> Cubical.ZCohomology.RingStructure.GradedCommutativity</ a >
1144+ < a id ="48950 " class ="Keyword "> import</ a > < a id ="48957 " href ="Cubical.ZCohomology.RingStructure.RingLaws.html " class ="Module "> Cubical.ZCohomology.RingStructure.RingLaws</ a >
11441145</ pre > </ body > </ html >
0 commit comments