MathNetwork/MathlibGraph

1namespace,decl_count,in_cycle,scc_id2ADEInequality,25,True,313ADEInequality.Admissible,1,True,314AEMeasurable,119,True,05AEMeasurable.mk,1,False,-16AEStronglyMeasurable,1,False,-17AList,95,True,08AList.insertRec,1,False,-19AList.lookup,1,False,-110AList.mk,3,True,011Abelianization,23,True,012Abelianization.lift,2,False,-113AbsConvex,9,True,014AbsConvexOpenSets,7,True,015AbsoluteValue,90,True,016AbsoluteValue.Completion,7,True,017AbsoluteValue.IsAdmissible,10,True,018AbsoluteValue.IsEquiv,18,True,019AbsoluteValue.IsEuclidean,4,True,020AbsoluteValue.IsNontrivial,2,True,021AbsoluteValue.LiesOver,4,True,022AbsoluteValue.Simps,1,False,-123AbsoluteValue.abs,1,False,-124AbsoluteValue.comp,1,False,-125AbsoluteValue.mk,3,False,-126AbsoluteValue.trivial,1,False,-127AbsolutelyContinuousOnInterval,35,True,028Absorbent,10,True,029Absorbs,26,True,030AbstractCompletion,52,True,031AbstractCompletion.mk,2,False,-132Acc,27,True,033Acc.below,1,True,034AccPt,6,True,035Action,190,True,036Action.FintypeCat,11,True,037Action.Functor,8,False,-138Action.FunctorCategoryEquivalence,20,True,039Action.Hom,15,True,040Action.Iso,1,False,-141Action.diagonalSuccIsoTensorTrivial,1,False,-142Action.mk,2,False,-143Action.mkIso,1,True,044Action.resCongr,1,False,-145Add,4,True,046AddAction,40,True,047AddAction.IsBlock,2,False,-148AddAction.IsMinimal,2,True,049AddAction.IsMultiplyPreprimitive,3,True,050AddAction.IsPreprimitive,3,True,051AddAction.IsPretransitive,2,True,052AddAction.IsQuasiPreprimitive,3,True,053AddAction.IsTopologicallyTransitive,2,True,054AddAction.QuotientAction,2,True,055AddAction.stabilizerEquivStabilizer,1,True,056AddActionHom,11,True,057AddActionHom.mk,2,False,-158AddActionSemiHomClass,2,True,059AddAut,34,True,060AddCancelCommMonoid,6,True,061AddCancelCommMonoid.mk,1,False,-162AddCancelMonoid,6,True,063AddChar,172,True,064AddChar.FiniteField,3,True,065AddChar.IsPrimitive,3,True,066AddChar.PrimitiveAddChar,7,True,067AddChar.complexBasis,1,False,-168AddChar.instFintype,1,False,-169AddChar.mk,3,False,-170AddChar.zmod,1,False,-171AddCircle,164,True,072AddCircle.EndpointIdent,1,True,073AddCircle.equivIccQuot,1,False,-174AddCircle.equivIco,1,False,-175AddCircle.equivIoc,1,False,-176AddCircle.haarAddCircle,1,False,-177AddCircle.homeomorphCircle,1,False,-178AddCircle.instDivisibleByInt,1,False,-179AddCircle.liftIco,1,False,-180AddCircle.liftIoc,1,False,-181AddCircle.measurableEquivIoc,1,False,-182AddCircle.measureSpace,1,False,-183AddCommGroup,73,True,084AddCommGroup.DirectLimit,26,False,-185AddCommGroup.ModEq,42,True,086AddCommGroup.toAddCommMonoid,1,False,-187AddCommGroupWithOne,14,True,088AddCommGrpCat,112,True,089AddCommGrpCat.Colimits,25,True,090AddCommGrpCat.HasLimit,6,True,091AddCommGrpCat.Hom,4,True,092AddCommGrpCat.image,4,True,093AddCommGrpCat.leftExactFunctorForgetEquivalence,6,True,094AddCommGrpCat.mk,2,False,-195AddCommMagma,6,True,096AddCommMonCat,33,True,097AddCommMonCat.Hom,4,False,-198AddCommMonCat.mk,2,False,-199AddCommMonoid,14,True,0100AddCommMonoid.mk,1,False,-1101AddCommMonoidWithOne,8,True,0102AddCommSemigroup,7,True,0103AddCon,11,True,0104AddCon.Quotient,2,True,0105AddCon.ker,1,False,-1106AddCon.lift,1,False,-1107AddCon.liftOn,1,False,-1108AddCon.mk,2,False,-1109AddConGen,1,True,0110AddConGen.Rel,12,True,0111AddConstEquiv,44,True,0112AddConstEquiv.Simps,1,False,-1113AddConstEquiv.mk,2,False,-1114AddConstMap,43,True,0115AddConstMap.mk,3,False,-1116AddConstMapClass,44,True,0117AddDissociated,1,False,-1118AddEquiv,149,True,0119AddEquiv.addSubgroupCongr,1,False,-1120AddEquiv.lpBCF,1,False,-1121AddEquiv.mk,3,True,0122AddEquiv.ofBijective,1,False,-1123AddEquivClass,2,True,0124AddEquivClass.toAddEquiv,1,False,-1125AddGroup,17,True,0126AddGroup.FG,2,True,0127AddGroupCone,4,True,0128AddGroupCone.mk,2,False,-1129AddGroupCone.nonneg,1,False,-1130AddGroupConeClass,3,True,0131AddGroupExtension,10,True,0132AddGroupExtension.Equiv,12,True,0133AddGroupExtension.Section,7,True,0134AddGroupExtension.Splitting,7,True,0135AddGroupExtension.mk,2,False,-1136AddGroupFilterBasis,10,True,0137AddGroupFilterBasis.mk,1,False,-1138AddGroupNorm,9,True,0139AddGroupNorm.mk,2,False,-1140AddGroupNormClass,3,True,0141AddGroupSeminorm,14,True,0142AddGroupSeminorm.mk,3,False,-1143AddGroupSeminormClass,6,True,0144AddGroupSeminormClass.toSeminormedAddGroup,1,False,-1145AddGroupTopology,5,True,0146AddGroupTopology.mk,2,False,-1147AddGroupWithOne,17,True,0148AddGrpCat,24,True,0149AddGrpCat.Hom,4,False,-1150AddGrpCat.mk,2,False,-1151AddHom,34,True,0152AddHom.mk,3,True,0153AddHomClass,2,True,0154AddHomClass.toAddHom,1,False,-1155AddIrreducible,3,True,0156AddLECancellable,49,True,0157AddLeftCancelMonoid,6,True,0158AddLeftCancelSemigroup,6,True,0159AddLocalization,2,False,-1160AddMagma,1,True,34161AddMagma.AssocRel,2,True,34162AddMagma.FreeAddSemigroup,2,False,-1163AddMagmaCat,7,True,0164AddMagmaCat.Hom,4,False,-1165AddMagmaCat.mk,2,False,-1166AddMemClass,2,True,0167AddMemClass.add,1,False,-1168AddMemClass.toAddCommSemigroup,1,False,-1169AddMonCat,20,True,0170AddMonCat.Hom,4,False,-1171AddMonCat.mk,2,False,-1172AddMonoid,27,True,0173AddMonoid.Coprod,1,False,-1174AddMonoid.End,30,True,0175AddMonoid.FG,4,True,0176AddMonoid.IsTorsion,2,False,-1177AddMonoidAlgebra,185,True,0178AddMonoidAlgebra.GradesBy,1,False,-1179AddMonoidAlgebra.Monic,10,True,0180AddMonoidAlgebra.divOf,1,True,0181AddMonoidAlgebra.grade,5,False,-1182AddMonoidAlgebra.gradeBy,4,True,0183AddMonoidAlgebra.leadingCoeff,1,True,0184AddMonoidAlgebra.liftNCAlgHom,1,False,-1185AddMonoidAlgebra.tensorEquiv,2,False,-1186AddMonoidHom,171,True,0187AddMonoidHom.codRestrict,1,False,-1188AddMonoidHom.compLeftContinuous,1,False,-1189AddMonoidHom.completion,1,False,-1190AddMonoidHom.mk,3,True,0191AddMonoidHom.mk',1,True,0192AddMonoidHom.mker,1,False,-1193AddMonoidHom.mrange,1,False,-1194AddMonoidHom.ofMapMidpoint,1,False,-1195AddMonoidHom.toAddEquiv,1,False,-1196AddMonoidHom.toRealLinearMap,1,False,-1197AddMonoidHomClass,3,True,0198AddMonoidHomClass.toAddMonoidHom,1,True,0199AddMonoidWithOne,12,True,0200AddOpposite,74,True,0201AddOreLocalization,1,True,28202AddOreLocalization.AddOreSet,6,True,28203AddQuantale,4,True,0204AddQuantale.mk,1,False,-1205AddRightCancelMonoid,6,True,0206AddRightCancelSemigroup,6,True,0207AddSemigroup,6,True,0208AddSemigroupAction,6,True,0209AddSemigrp,7,True,0210AddSemigrp.Hom,4,False,-1211AddSemigrp.mk,2,False,-1212AddSubgroup,117,True,0213AddSubgroup.Characteristic,2,True,0214AddSubgroup.FiniteIndex,2,True,0215AddSubgroup.IsFiniteRelIndex,2,True,0216AddSubgroup.MapSubtype,1,False,-1217AddSubgroup.Normal,2,True,0218AddSubgroup.addSubgroupOfEquivOfLe,1,False,-1219AddSubgroup.mk,3,True,0220AddSubgroup.normedMk,1,False,-1221AddSubgroup.torsionBy,6,False,-1222AddSubgroupClass,8,True,0223AddSubgroupClass.sub,1,False,-1224AddSubgroupClass.toAddCommGroup,1,False,-1225AddSubgroupClass.zsmul,1,False,-1226AddSubmonoid,121,True,0227AddSubmonoid.FG,1,False,-1228AddSubmonoid.IsLocalizationMap,4,True,0229AddSubmonoid.LocalizationMap,12,True,0230AddSubmonoid.comap,1,True,0231AddSubmonoid.inclusion,1,False,-1232AddSubmonoid.map,1,True,0233AddSubmonoid.mk,3,True,0234AddSubmonoid.nonneg,1,False,-1235AddSubmonoidClass,5,True,0236AddSubmonoidClass.nSMul,1,False,-1237AddSubmonoidClass.toAddCommMonoid,1,False,-1238AddSubmonoidWithOneClass,4,True,0239AddSubsemigroup,24,True,0240AddSubsemigroup.mk,3,True,0241AddTorsor,9,True,0242AddUnits,27,True,0243AddUnits.mk,3,False,-1244AddValuation,57,True,0245AddValuation.IsEquiv,8,False,-1246AddValuation.of,1,False,-1247AddZero,6,True,0248AddZeroClass,6,True,0249Additive,82,True,0250AdicCompletion,183,True,0251AdicCompletion.AdicCauchySequence,29,True,0252AdicCompletion.Ideal,1,True,0253AdicCompletion.instModuleOfIsScalarTower,1,False,-1254AdicCompletion.instSMul,1,False,-1255AdicCompletion.kerProj,1,False,-1256AdicCompletion.lift,1,False,-1257AdicCompletion.liftAlgHom,1,False,-1258AdicCompletion.liftRingHom,1,False,-1259AdicCompletion.ofAlgEquiv,1,False,-1260AdicCompletion.ofLinearEquiv,1,False,-1261AdicCompletion.ofTensorProductEquivOfFiniteNoetherian,1,False,-1262AdicCompletion.transitionMap,1,False,-1263AdjoinRoot,157,True,0264AdjoinRoot.Minpoly,7,True,0265AdjoinRoot.Polynomial,3,True,0266AdjoinRoot.equiv',1,False,-1267AdjoinRoot.instDistribMulActionOfIsScalarTower,1,False,-1268AdjoinRoot.instField,1,False,-1269AdjoinRoot.instSMulAdjoinRoot,1,False,-1270AdjoinRoot.isAdjoinRootMonic,1,False,-1271AdjoinRoot.lift,1,False,-1272AdjoinRoot.liftAlgHom,1,False,-1273AdjoinRoot.map,1,False,-1274AdjoinRoot.mapAlgHom,1,False,-1275AdjoinRoot.modByMonicHom,1,False,-1276AdjoinRoot.of,1,True,0277AdjoinRoot.powerBasis',1,False,-1278AdjoinRoot.powerBasisAux,1,False,-1279AdjoinRootXPowSubCEquivToRootsOfUnity,1,False,-1280Affine,3,True,0281Affine.Simplex,493,True,0282Affine.Triangle,51,True,0283AffineAddMonoid,4,False,-1284AffineBasis,71,True,0285AffineBasis.instSMul,1,False,-1286AffineBasis.mk,2,False,-1287AffineEquiv,154,True,0288AffineEquiv.Simps,2,False,-1289AffineEquiv.mk,3,True,0290AffineEquiv.ofBijective,1,False,-1291AffineIndependent,52,True,0292AffineIsometry,54,True,0293AffineIsometry.mk,3,False,-1294AffineIsometryEquiv,112,True,0295AffineIsometryEquiv.mk,2,False,-1296AffineMap,201,True,0297AffineMap.distribMulAction,1,False,-1298AffineMap.instModule,1,False,-1299AffineMap.mk,3,True,0300AffineMap.mk',1,False,-1301AffineMap.restrict,7,True,0302AffineMonoid,1,False,-1303AffineSpace,13,True,0304AffineSubspace,313,True,0305AffineSubspace.Parallel,5,True,0306AffineSubspace.SOppSide,14,True,0307AffineSubspace.SSameSide,13,True,0308AffineSubspace.WOppSide,9,True,0309AffineSubspace.WSameSide,9,True,0310AffineSubspace.isometryEquivMap,3,True,0311AffineSubspace.mk,2,False,-1312AffineSubspace.pointwiseSMul,1,False,-1313AffineSubspace.signedInfDist,1,True,0314AffineSubspace.toAddTorsor,1,False,-1315AffineSubspace.toNormedAddTorsor,1,False,-1316AhlswedeZhang,8,False,-1317AhlswedeZhang.IsAntichain,1,False,-1318AhlswedeZhang.supSum,1,False,-1319AkraBazziRecurrence,110,True,0320AkraBazziRecurrence.GrowsPolynomially,25,True,0321AkraBazziRecurrence.max_bi,1,False,-1322AkraBazziRecurrence.min_bi,1,False,-1323AkraBazziRecurrence.mk,2,False,-1324AlexDisc,14,True,0325AlexDisc.Iso,3,True,0326AlexDisc.mk,2,False,-1327Alexandrov,18,True,0328Alexandrov.principalOpen,1,False,-1329Alexandrov.principals,1,False,-1330Alexandrov.principalsKanExtension,1,False,-1331AlexandrovDiscrete,6,True,0332AlgCat,70,True,0333AlgCat.HasLimits,2,True,0334AlgCat.Hom,6,True,0335AlgCat.instMonoidalCategory,3,True,0336AlgEquiv,304,True,0337AlgEquiv.Algebra,2,True,0338AlgEquiv.Simps,3,False,-1339AlgEquiv.fintype,1,False,-1340AlgEquiv.liftNormal,1,False,-1341AlgEquiv.mk,3,False,-1342AlgEquiv.ofAlgHom,1,True,0343AlgEquiv.ofBijective,1,False,-1344AlgEquiv.ofInjective,1,False,-1345AlgEquiv.ofInjectiveField,1,False,-1346AlgEquiv.ofLinearEquiv,1,False,-1347AlgEquiv.ofLinearEquiv_symm,1,True,0348AlgEquiv.ofRingEquiv,1,False,-1349AlgEquiv.restrictNormal,1,False,-1350AlgEquiv.restrictNormalHom,1,False,-1351AlgEquiv.restrictScalars,1,False,-1352AlgEquiv.symm_mk,1,True,0353AlgEquivClass,7,True,0354AlgEquivClass.toAlgEquiv,1,False,-1355AlgHom,247,True,0356AlgHom.Finite,5,False,-1357AlgHom.FinitePresentation,6,False,-1358AlgHom.FiniteType,6,False,-1359AlgHom.IsArithFrobAt,15,False,-1360AlgHom.NonUnitalAlgHom,1,False,-1361AlgHom.Simps,1,False,-1362AlgHom.codRestrict,1,False,-1363AlgHom.compLeftContinuous,1,False,-1364AlgHom.equalizer,1,False,-1365AlgHom.liftOfSurjective,1,False,-1366AlgHom.mk,3,True,0367AlgHom.mk',1,False,-1368AlgHom.mulLeftRightMatrix,2,True,0369AlgHom.ofLinearMap,1,False,-1370AlgHom.restrictDomain,1,False,-1371AlgHom.restrictNormal,1,False,-1372AlgHom.restrictScalars,1,True,0373AlgHom.toContinuousLinearMap,1,False,-1374AlgHomClass,11,True,0375AlgHomClass.toAlgHom,1,False,-1376Algebra,546,True,0377Algebra.EssFiniteType,20,True,0378Algebra.Etale,11,True,0379Algebra.Extension,157,True,0380Algebra.FinitePresentation,23,True,0381Algebra.FiniteType,26,True,0382Algebra.FormallyEtale,29,True,0383Algebra.FormallySmooth,46,True,0384Algebra.FormallyUnramified,50,True,0385Algebra.Generators,196,True,0386Algebra.GrothendieckAddGroup,1,False,-1387Algebra.GrothendieckGroup,10,False,-1388Algebra.H1Cotangent,7,True,0389Algebra.HasGoingDown,6,True,0390Algebra.IsAlgebraic,69,True,0391Algebra.IsCentral,16,True,0392Algebra.IsEpi,2,True,0393Algebra.IsEtaleAt,1,False,-1394Algebra.IsGeometricallyReduced,4,True,0395Algebra.IsIntegral,23,True,0396Algebra.IsInvariant,8,True,0397Algebra.IsPushout,23,True,0398Algebra.IsQuadraticExtension,9,True,0399Algebra.IsSeparable,12,True,0400Algebra.IsSmoothAt,2,True,0401Algebra.IsStandardEtale,5,True,0402Algebra.IsStandardOpenImmersion,3,True,0403Algebra.IsStandardSmooth,13,True,0404Algebra.IsStandardSmoothOfRelationDimension,1,True,0405Algebra.IsStandardSmoothOfRelativeDimension,13,True,0406Algebra.IsUnramifiedAt,4,False,-1407Algebra.Norm,17,True,0408Algebra.PowerBasis,3,True,0409Algebra.PreSubmersivePresentation,68,True,0410Algebra.Presentation,102,True,0411Algebra.QuasiFinite,27,True,0412Algebra.QuasiFiniteAt,8,True,0413Algebra.RingHom,5,True,0414Algebra.Smooth,13,True,0415Algebra.Subalgebra,1,True,0416Algebra.SubmersivePresentation,74,True,0417Algebra.TensorProduct,222,True,0418Algebra.Transcendental,6,True,0419Algebra.Unramified,7,True,0420Algebra.ZariskisMainProperty,3,False,-1421Algebra.adjoin,10,True,0422Algebra.algHom,1,False,-1423Algebra.discr,1,True,0424Algebra.elemental,9,False,-1425Algebra.id,3,False,-1426Algebra.intNorm,1,False,-1427Algebra.intTrace,1,False,-1428Algebra.lsmul,1,False,-1429Algebra.mk,1,False,-1430Algebra.normalizedTrace,1,False,-1431Algebra.pushoutDesc,1,False,-1432Algebra.tensorH1CotangentOfIsLocalization,1,False,-1433AlgebraNorm,15,True,0434AlgebraNorm.mk,2,False,-1435AlgebraNormClass,4,True,0436Algebraic,10,False,-1437AlgebraicClosure,25,True,0438AlgebraicClosure.Monics,2,True,0439AlgebraicClosure.finEquivRoots,1,False,-1440AlgebraicClosure.instSMulOfIsScalarTower,1,False,-1441AlgebraicClosure.maxIdeal,1,True,0442AlgebraicGeometry,782,True,0443AlgebraicGeometry.AffineScheme,23,True,0444AlgebraicGeometry.AffineSpace,71,False,-1445AlgebraicGeometry.AffineTargetMorphismProperty,22,True,0446AlgebraicGeometry.ExistsHomHomCompEqCompAux,28,True,0447AlgebraicGeometry.Flat,23,True,0448AlgebraicGeometry.FormallyUnramified,10,True,0449AlgebraicGeometry.HasAffineProperty,35,True,0450AlgebraicGeometry.HasRingHomProperty,36,True,0451AlgebraicGeometry.Ideal,1,True,0452AlgebraicGeometry.IsAffine,4,True,0453AlgebraicGeometry.IsAffineHom,4,True,0454AlgebraicGeometry.IsAffineOpen,89,True,0455AlgebraicGeometry.IsArtinianScheme,6,True,0456AlgebraicGeometry.IsClosedImmersion,40,True,0457AlgebraicGeometry.IsDominant,7,True,0458AlgebraicGeometry.IsEtale,6,True,0459AlgebraicGeometry.IsFinite,26,True,0460AlgebraicGeometry.IsImmersion,26,True,0461AlgebraicGeometry.IsIntegral,3,True,0462AlgebraicGeometry.IsIntegralHom,22,True,0463AlgebraicGeometry.IsLocalAtSource,12,False,-1464AlgebraicGeometry.IsLocalAtTarget,10,False,-1465AlgebraicGeometry.IsLocalIso,9,True,0466AlgebraicGeometry.IsLocallyArtinian,10,True,0467AlgebraicGeometry.IsLocallyNoetherian,3,True,0468AlgebraicGeometry.IsNoetherian,4,True,0469AlgebraicGeometry.IsOpenImmersion,82,True,0470AlgebraicGeometry.IsPreimmersion,17,True,0471AlgebraicGeometry.IsProper,19,True,0472AlgebraicGeometry.IsReduced,3,True,0473AlgebraicGeometry.IsSeparated,26,True,0474AlgebraicGeometry.IsSmooth,2,True,0475AlgebraicGeometry.IsSmoothOfRelativeDimension,3,True,0476AlgebraicGeometry.IsStableUnderBaseChange,1,False,-1477AlgebraicGeometry.IsZariskiLocalAtSource,12,True,0478AlgebraicGeometry.IsZariskiLocalAtTarget,12,True,0479AlgebraicGeometry.LocallyOfFinitePresentation,3,True,0480AlgebraicGeometry.LocallyOfFiniteType,6,True,0481AlgebraicGeometry.LocallyQuasiFinite,3,True,0482AlgebraicGeometry.LocallyRingedSpace,250,True,0483AlgebraicGeometry.Polynomial,5,False,-1484AlgebraicGeometry.PresheafedSpace,234,True,0485AlgebraicGeometry.PrimeSpectrum,1,True,0486AlgebraicGeometry.Proj,88,True,0487AlgebraicGeometry.ProjIsoSpecTopComponent,35,True,0488AlgebraicGeometry.ProjectiveSpectrum,35,True,0489AlgebraicGeometry.QuasiCompact,5,True,0490AlgebraicGeometry.QuasiCompactCover,16,True,0491AlgebraicGeometry.QuasiSeparated,5,True,0492AlgebraicGeometry.RingedSpace,21,True,0493AlgebraicGeometry.Scheme,1932,True,0494AlgebraicGeometry.SheafedSpace,129,True,0495AlgebraicGeometry.Spec,71,True,0496AlgebraicGeometry.StructureSheaf,117,True,0497AlgebraicGeometry.Surjective,9,True,0498AlgebraicGeometry.SurjectiveOnStalks,16,True,0499AlgebraicGeometry.UniversallyClosed,7,True,0500AlgebraicGeometry.UniversallyInjective,5,True,0501AlgebraicGeometry.UniversallyOpen,16,True,0502AlgebraicGeometry.ValuativeCommSq,15,True,0503AlgebraicGeometry.ValuativeCriterion,11,True,0504AlgebraicGeometry.affineAnd,1,False,-1505AlgebraicGeometry.instAlgebraCarrierObjOppositeOpensCarrierCarrierCommRingCatPresheafOpOpensFunctionFieldOfNonemptyToScheme,1,False,-1506AlgebraicGeometry.sourceAffineLocally,1,False,-1507AlgebraicGeometry.sourceLocalClosure,12,True,0508AlgebraicGeometry.ΓSpec,20,True,0509AlgebraicIndepOn,5,True,0510AlgebraicIndependent,87,True,0511AlgebraicIndependent.aevalEquiv,1,False,-1512AlgebraicIndependent.aevalEquivField,1,False,-1513AlgebraicIndependent.matroid,1,False,-1514AlgebraicIndependent.mvPolynomialOptionEquivPolynomialAdjoin,1,False,-1515AlgebraicTopology,24,True,0516AlgebraicTopology.AlternatingCofaceMapComplex,5,True,0517AlgebraicTopology.AlternatingFaceMapComplex,10,True,0518AlgebraicTopology.DoldKan,294,True,0519AlgebraicTopology.NormalizedMooreComplex,10,True,0520AlgebraicTopology.SSet,1,True,0521Alignment,6,True,0522Alignment.center,1,False,-1523Alignment.left,1,False,-1524Alignment.right,1,False,-1525AlternatingGroup,8,True,0526AlternatingMap,183,True,0527AlternatingMap.constLinearEquivOfIsEmpty,1,False,-1528AlternatingMap.constOfIsEmpty,1,False,-1529AlternatingMap.domCoprod,4,True,0530AlternatingMap.instDistribMulAction,1,False,-1531AlternatingMap.instModule,1,False,-1532AlternatingMap.instSMul,1,False,-1533AlternatingMap.measure,1,False,-1534AlternatingMap.mk,3,True,0535AlternatingMap.mkContinuous,1,False,-1536AlternatingMap.ofSubsingleton,1,False,-1537Alternative,5,True,0538AlternativeMonad,5,True,0539AmpleSet,8,False,-1540AnalyticAt,102,True,0541AnalyticAtWithin,1,True,0542AnalyticOn,53,True,0543AnalyticOnNhd,91,True,0544AnalyticWithinAt,48,True,0545And,11,True,0546AndOp,4,True,0547AndThen,4,True,0548AntilipschitzWith,46,True,0549AntisymmRel,38,True,0550Antisymmetrization,5,True,0551Antitone,179,True,0552AntitoneOn,90,True,0553Antivary,52,True,0554AntivaryOn,55,True,0555Append,4,True,0556Applicative,10,True,0557ApplicativeTransformation,24,True,0558ApplicativeTransformation.mk,2,False,-1559ApproximatesLinearOn,31,True,0560Archimedean,22,True,0561ArchimedeanClass,100,True,0562ArchimedeanClass.FiniteElement,31,True,0563ArchimedeanClass.FiniteResidueField,19,True,0564ArchimedeanClass.ball,1,False,-1565ArchimedeanClass.closedBall,1,False,-1566ArchimedeanClass.lift,1,False,-1567ArchimedeanClass.liftOrderHom,1,False,-1568ArchimedeanClass.stdPart,1,True,0569ArithmeticFunction,234,True,0570ArithmeticFunction.IsMultiplicative,27,True,0571ArithmeticFunction.Moebius,1,False,-1572ArithmeticFunction.Omega,1,False,-1573ArithmeticFunction.omega,1,False,-1574ArithmeticFunction.sigma,1,False,-1575ArithmeticFunction.vonMangoldt,19,True,0576ArithmeticFunction.zeta,1,False,-1577Array,1999,True,0578Array.Array,1,True,0579Array.Matcher,19,True,0580Array.Mem,2,True,0581Array.Perm,13,True,0582Array.PrefixTable,10,True,0583Array.Subarray,1,True,0584Array.anyM,4,True,0585Array.appendCore,1,True,0586Array.attachWith,1,True,0587Array.back,1,True,0588Array.cyclicPermute!,1,True,0589Array.eraseIdx,2,True,0590Array.extract,2,True,0591Array.findIdx?,2,True,0592Array.foldlM,4,True,0593Array.foldlM_toList,1,True,0594Array.foldrM,4,True,0595Array.foldrM_eq_reverse_foldlM_toList,1,False,-1596Array.forIn',4,True,0597Array.getElem_zero_flatten,1,True,0598Array.getInternal,1,False,-1599Array.getLit,1,False,-1600Array.insertIdx,1,True,0601Array.isEqvAux,1,True,0602Array.isPrefixOfAux,1,True,0603Array.mapFinIdxM,4,True,0604Array.merge,2,True,0605Array.mergeAdjacentDups,2,True,0606Array.mergeDedupWith,2,True,0607Array.mergeUnsortedDedup,1,True,0608Array.mk,2,True,0609Array.mkPrefixTableOfStream,1,True,0610Array.pmap,1,True,0611Array.qpartition,1,False,-1612Array.reverse,3,True,0613Array.set,1,True,0614Array.swap,1,False,-1615Array.swapAt,1,False,-1616Array.toListLitAux,2,False,-1617Array.uset,1,False,-1618ArzelaAscoli,4,True,0619AsLinearOrder,1,False,-1620AssociatePrimes,1,True,0621Associated,53,True,0622Associates,175,True,0623Associates.FactorSet,6,True,0624Associates.Prime,1,True,0625Associates.bcount,2,True,0626Associates.count,1,True,0627Associates.factors,1,True,0628Associates.factors',1,False,-1629Associates.instLattice,1,False,-1630Associates.instMax,1,False,-1631Associates.instMin,1,False,-1632Associates.out,1,False,-1633Asymptotics,292,True,0634Asymptotics.Filter,1,True,0635Asymptotics.IsBigO,106,True,0636Asymptotics.IsBigOTVS,26,True,0637Asymptotics.IsBigOWith,66,True,0638Asymptotics.IsEquivalent,41,True,0639Asymptotics.IsLittleO,95,True,0640Asymptotics.IsLittleOTVS,33,True,0641Asymptotics.IsTheta,50,True,0642Asymptotics.IsThetaTVS,7,True,0643Asymptotics.SuperpolynomialDecay,19,True,0644Asymptotics.isBigOTVS,1,False,-1645Asymptotics.isLittleOTVS,1,False,-1646AugmentedSimplexCategory,96,False,-1647BAll,2,False,-1648BEq,13,True,0649BEx,4,False,-1650BaireMeasurableSet,16,True,0651BaireSpace,5,True,0652Balanced,27,True,0653BarrelledSpace,2,True,0654BaseIO,8,True,0655Basis,14,True,0656Basis.multilinearMap,1,False,-1657Basis.piTensorProduct,1,False,-1658Batteries,49,True,0659Batteries.AssocList,85,True,0660Batteries.BEqCmp,4,True,0661Batteries.BinaryHeap,26,True,0662Batteries.BinomialHeap,135,True,0663Batteries.ByteSubarray,23,True,0664Batteries.CodeAction,49,True,0665Batteries.DList,29,True,0666Batteries.ExtendedBinder,4,True,0667Batteries.HashMap,31,True,0668Batteries.LECmp,5,True,0669Batteries.LTCmp,7,True,0670Batteries.LawfulCmp,8,True,0671Batteries.Linter,27,False,-1672Batteries.OrientedCmp,8,True,0673Batteries.OrientedOrd,5,False,-1674Batteries.PairingHeap,19,False,-1675Batteries.PairingHeapImp,62,True,0676Batteries.RBColor,7,True,0677Batteries.RBMap,108,True,0678Batteries.RBNode,434,True,0679Batteries.RBSet,141,True,0680Batteries.Random,30,False,-1681Batteries.RunningStats,11,True,0682Batteries.TotalBLE,2,True,0683Batteries.TransCmp,13,True,0684Batteries.TransOrd,5,False,-1685Batteries.UFNode,6,True,0686Batteries.UnionFind,117,True,0687Batteries.Util,10,False,-1688Batteries.Vector,1,False,-1689Batteries.instInhabitedAssocList,1,True,0690Batteries.instReprRBColor,1,True,0691Batteries.instReprRBNode,1,True,0692BddAbove,36,True,0693BddBelow,26,True,0694BddDistLat,41,True,0695BddDistLat.Hom,6,True,0696BddDistLat.Iso,3,True,0697BddDistLat.mk,2,False,-1698BddLat,36,True,0699BddLat.Hom,6,True,0700BddLat.Iso,3,True,0701BddLat.mk,2,False,-1702BddOrd,37,True,0703BddOrd.Hom,6,True,0704BddOrd.Iso,3,True,0705BddOrd.mk,2,False,-1706Behrend,49,True,0707Bertrand,1,True,0708Besicovitch,28,True,0709Besicovitch.BallPackage,10,True,0710Besicovitch.SatelliteConfig,21,True,0711Besicovitch.TauPackage,24,True,0712Besicovitch.goodδ,1,False,-1713BestFirstNode,5,True,0714BestFirstNode.mk,2,False,-1715BestFirstQueue,7,True,0716BialgCat,40,True,0717BialgCat.Hom,9,True,0718BialgCat.MonoidalCategory,3,True,0719BialgCat.mk,2,False,-1720BialgEquiv,74,True,0721BialgEquiv.Simps,2,False,-1722BialgEquiv.mk,2,True,0723BialgEquivClass,7,True,0724BialgHom,55,True,0725BialgHom.Simps,1,False,-1726BialgHom.mk,3,False,-1727BialgHomClass,8,True,0728BialgHomClass.toBialgHom,1,False,-1729Bialgebra,36,True,0730Bialgebra.TensorProduct,24,True,0731Bicategory.Opposite,46,True,0732Bicompl,1,True,0733Bicompr,1,True,0734Bifunctor,25,True,0735Bifunctor.mapEquiv,1,False,-1736BigOperators,14,False,-1737BiheytingAlgebra,9,True,0738BiheytingHom,27,True,0739BiheytingHom.mk,2,False,-1740BiheytingHomClass,6,True,0741BilinForm,15,False,-1742BilinearForm,1,False,-1743Bimod,59,True,0744Bimod.AssociatorBimod,8,True,0745Bimod.Hom,11,True,0746Bimod.LeftUnitorBimod,6,True,0747Bimod.RightUnitorBimod,6,True,0748Bimod.TensorBimod,12,True,0749Bimod.mk,2,False,-1750Bind,6,True,0751BinomialRing,5,True,0752Bipointed,29,True,0753Bipointed.Hom,15,True,0754Bipointed.mk,2,False,-1755BitVec,1472,True,0756BitVec.BitVec,1,True,0757BitVec.DivModArgs,6,True,0758BitVec.DivModState,27,True,0759BitVec.Literal,6,True,0760BitVec.aandRec,1,True,0761BitVec.cast,1,True,0762BitVec.hash,1,False,-1763BitVec.instDecidableEqLiteral,1,True,0764BitVec.instReprLiteral,1,True,0765BitVec.iunfoldr,1,False,-1766BitVec.mulRec,1,False,-1767BitVec.ofBoolListBE,1,False,-1768BitVec.ofBoolListLE,1,False,-1769BitVec.ofFin,2,False,-1770BitVec.ofNatLT,1,True,0771BitVec.replicate,1,False,-1772BitVec.resRec,2,True,0773BitVec.reverse,1,False,-1774BitVec.setWidth',1,False,-1775BitVec.shiftLeftRec,1,False,-1776BitVec.sshiftRightRec,1,False,-1777BitVec.uppcRec,2,False,-1778BitVec.ushiftRightRec,1,False,-1779Bitraversable,26,True,0780Bool,392,True,0781Bool.false,1,False,-1782Bool.true,1,False,-1783BoolAlg,43,True,0784BoolAlg.Hom,6,True,0785BoolAlg.Iso,3,True,0786BoolAlg.of,2,False,-1787BoolRing,17,True,0788BoolRing.Hom,5,True,0789BoolRing.Iso,3,True,0790BoolRing.of,2,False,-1791BooleanAlgebra,22,True,0792BooleanRing,24,True,0793BooleanSubalgebra,129,True,0794BooleanSubalgebra.mk,2,False,-1795Booleanisation,46,True,0796Booleanisation.LE,3,True,0797Booleanisation.LT,3,True,0798BorelSpace,4,True,0799Born,8,True,0800Born.of,2,False,-1801Bornology,86,True,0802Bornology.IsBounded,41,True,0803Bornology.IsCobounded,6,True,0804Bornology.IsVonNBounded,24,True,0805Bornology.inCompact,1,False,-1806Bornology.ofDist,1,False,-1807Bornology.relativelyCompact,1,True,0808Bot,6,True,0809BotHom,46,True,0810BotHom.mk,2,False,-1811BotHomClass,3,True,0812Bound,6,False,-1813BoundarylessManifold,3,True,0814BoundedAdd,2,True,0815BoundedContinuousFunction,315,True,0816BoundedContinuousFunction.AlgHom,3,True,0817BoundedContinuousFunction.NNReal,1,True,0818BoundedContinuousFunction.Simps,1,False,-1819BoundedContinuousFunction.char,1,True,0820BoundedContinuousFunction.charAlgHom,1,False,-1821BoundedContinuousFunction.charMonoidHom,1,False,-1822BoundedContinuousFunction.charPoly,1,False,-1823BoundedContinuousFunction.comp,1,False,-1824BoundedContinuousFunction.extend,1,False,-1825BoundedContinuousFunction.instAdd,1,False,-1826BoundedContinuousFunction.instAddCommMonoid,1,False,-1827BoundedContinuousFunction.instCommMonoid,1,False,-1828BoundedContinuousFunction.instDistribMulAction,1,False,-1829BoundedContinuousFunction.instModule,1,False,-1830BoundedContinuousFunction.instMonoid,1,False,-1831BoundedContinuousFunction.instMul,1,False,-1832BoundedContinuousFunction.instSMul,1,False,-1833BoundedContinuousFunction.instSMulNat,1,False,-1834BoundedContinuousFunction.instSemiring,1,False,-1835BoundedContinuousFunction.instStarAddMonoid,1,False,-1836BoundedContinuousFunction.instSub,1,False,-1837BoundedContinuousFunction.mk,3,True,0838BoundedContinuousFunction.mkOfBound,1,False,-1839BoundedContinuousFunction.mkOfCompact,1,False,-1840BoundedContinuousFunction.ofNormedAddCommGroup,1,False,-1841BoundedContinuousFunction.toLp,1,False,-1842BoundedContinuousMapClass,3,True,0843BoundedGENhdsClass,3,True,0844BoundedLENhdsClass,3,True,0845BoundedLatticeHom,53,True,0846BoundedLatticeHom.mk,3,False,-1847BoundedLatticeHomClass,8,True,0848BoundedMul,2,True,0849BoundedOrder,7,True,0850BoundedOrderHom,36,True,0851BoundedOrderHom.mk,2,False,-1852BoundedOrderHomClass,7,True,0853BoundedRandom,3,True,0854BoundedSpace,3,True,0855BoundedSub,2,True,0856BoundedVariationOn,6,True,0857BoundingSieve,31,True,0858BoundingSieve.mk,2,False,-1859BoxIntegral,44,True,0860BoxIntegral.Box,122,True,0861BoxIntegral.BoxAdditiveMap,31,True,0862BoxIntegral.HasIntegral,16,True,0863BoxIntegral.Integrable,24,True,0864BoxIntegral.IntegrationParams,62,True,0865BoxIntegral.Prepartition,176,True,0866BoxIntegral.TaggedPrepartition,80,True,0867BoxIntegral.unitPartition,38,True,0868Bracket,3,True,0869Brauer,1,True,0870Btw,3,True,0871Btw.btw,5,True,0872BumpCovering,45,True,0873BumpCovering.IsSubordinate,3,True,0874BumpCovering.ind,1,False,-1875BumpCovering.mk,2,False,-1876Bundle,39,True,0877Bundle.ContMDiffRiemannianMetric,11,True,0878Bundle.ContinuousLinearMap,7,True,0879Bundle.ContinuousRiemannianMetric,10,True,0880Bundle.Prod,1,False,-1881Bundle.Pullback,4,True,0882Bundle.RiemannianBundle,3,True,0883Bundle.RiemannianMetric,10,True,0884Bundle.TotalSpace,21,True,0885Bundle.Trivial,28,True,0886Bundle.instNormedAddCommGroupOfRiemannianBundle,1,False,-1887ByteArray,160,True,0888ByteArray.IsValidUTF8,4,True,0889ByteArray.Iterator,21,True,0890ByteArray.findFinIdx?,2,True,0891ByteArray.findIdx?,2,True,0892ByteArray.foldlM,1,True,0893ByteArray.forIn,1,True,0894ByteArray.get,1,False,-1895ByteArray.instBEq,1,True,0896ByteArray.instInhabitedIterator,1,True,0897ByteArray.mk,2,False,-1898ByteArray.set,1,False,-1899ByteArray.toList,2,True,0900ByteArray.utf8Decode?,7,True,0901ByteArray.utf8DecodeChar,1,True,0902ByteArray.utf8DecodeChar?,44,True,0903ByteArray.validateUTF8,3,True,0904ByteSlice,33,True,0905ByteSlice.forIn,1,True,0906CFC,208,True,0907CFC.abs,1,True,0908CFC.instPowNNReal,1,False,-1909CFC.instPowReal,1,False,-1910CFC.log,1,False,-1911CFC.nnrpow,1,False,-1912CFC.rpow,1,False,-1913CFC.sqrt,1,True,0914CFilter,14,True,0915CFilter.mk,3,False,-1916CPolynomialAt,15,True,0917CPolynomialOn,16,True,0918CSA,6,True,0919CSA.mk,2,False,-1920CStarAlgebra,95,True,0921CStarAlgebra.instNegPart,1,False,-1922CStarAlgebra.instPosPart,1,False,-1923CStarMatrix,142,True,0924CStarMatrix.instNonUnitalNormedRing,1,False,-1925CStarMatrix.instNorm,1,False,-1926CStarMatrix.instNormedAddCommGroup,1,False,-1927CStarMatrix.instNormedRing,1,False,-1928CStarMatrix.instPartialOrder,1,False,-1929CStarModule,41,True,0930CStarModule.innerSL,1,False,-1931CStarModule.innerₛₗ,1,False,-1932CStarRing,23,True,0933CStarRing.MulOpposite,1,False,-1934CalcPanel,1,False,-1935CalcParams,5,True,0936CalcParams.mk,2,False,-1937CanLift,2,True,0938CancelCommMonoid,9,True,0939CancelCommMonoid.mk,2,False,-1940CancelCommMonoidWithZero,4,True,0941CancelCommMonoidWithZero.mk,2,False,-1942CancelDenoms,22,True,0943CancelDenoms.CancelResult,6,True,0944CancelMonoid,9,True,0945CancelMonoidWithZero,4,True,0946CancelMonoidWithZero.mk,2,False,-1947CanonicallyOrderedAdd,18,True,0948CanonicallyOrderedAddCommMonoid,2,False,-1949CanonicallyOrderedCommMonoid,2,True,0950CanonicallyOrderedMul,6,True,0951CantorScheme,6,True,0952CantorScheme.Antitone,1,True,0953CantorScheme.ClosureAntitone,2,True,0954CantorScheme.Disjoint,1,True,0955CantorScheme.VanishingDiam,2,True,0956Caratheodory,7,True,0957Cardinal,983,True,0958Cardinal.Categorical,1,True,0959Cardinal.IsInaccessible,7,True,0960Cardinal.IsRegular,8,True,0961Cardinal.IsStrongLimit,7,True,0962Cardinal.Real,4,False,-1963Cardinal.ord,2,False,-1964Cardinal.preBeth,1,False,-1965CardinalInterFilter,5,True,0966CartanMatrix,67,True,0967CartanMatrix.Generators,11,True,0968CartanMatrix.Relations,8,True,0969CasesAltInfo,4,True,0970CasesAltInfo.ctor,2,False,-1971CasesAltInfo.default,2,False,-1972CasesInfo,9,True,0973CasesInfo.mk,2,False,-1974CategoryTheory,3428,True,0975CategoryTheory.AB4,1,True,0976CategoryTheory.AB4OfSize,2,True,0977CategoryTheory.AB4Star,1,False,-1978CategoryTheory.AB4StarOfSize,2,True,0979CategoryTheory.AB5OfSize,2,True,0980CategoryTheory.AB5StarOfSize,2,True,0981CategoryTheory.Abelian,418,True,0982CategoryTheory.AbelianOfAdjunction,2,True,0983CategoryTheory.ActionCategory,29,True,0984CategoryTheory.AdditiveFunctor,20,True,0985CategoryTheory.Adhesive,10,True,0986CategoryTheory.Adjunction,558,True,0987CategoryTheory.Algebra,1,False,-1988CategoryTheory.AreEqualizedByLocalization,3,True,0989CategoryTheory.Arrow,130,True,0990CategoryTheory.Artinian,3,True,0991CategoryTheory.AsSmall,17,True,0992CategoryTheory.Aut,12,True,0993CategoryTheory.Balanced,2,True,0994CategoryTheory.BasedCategory,17,True,0995CategoryTheory.BasedFunctor,18,True,0996CategoryTheory.BasedNatIso,5,True,0997CategoryTheory.BasedNatTrans,25,True,0998CategoryTheory.BicartesianSq,10,True,0999CategoryTheory.BicategoricalCoherence,25,True,01000CategoryTheory.Bicategory,846,True,01001CategoryTheory.Bicone,9,True,01002CategoryTheory.BiconeHom,14,True,01003CategoryTheory.Bifunctor,5,True,01004CategoryTheory.Bimon,105,True,01005CategoryTheory.BimonObj,12,True,01006CategoryTheory.BinaryCofan,4,True,01007CategoryTheory.Biprod,19,True,01008CategoryTheory.Biproduct,2,False,-11009CategoryTheory.BraidedCategory,127,True,01010CategoryTheory.Bundled,11,True,01011CategoryTheory.BundledHom,20,True,01012CategoryTheory.CanonicallyOverClass,6,True,01013CategoryTheory.CartesianClosed,24,False,-11014CategoryTheory.CartesianCopyDiscard,4,False,-11015CategoryTheory.CartesianMonoidalCategory,190,True,01016CategoryTheory.Cat,204,True,01017CategoryTheory.CatCenter,35,True,01018CategoryTheory.CatCommSq,33,True,01019CategoryTheory.CatEnriched,19,False,-11020CategoryTheory.CatEnrichedOrdinary,41,False,-11021CategoryTheory.Category,8,True,01022CategoryTheory.CategoryOfElements,79,True,01023CategoryTheory.CategoryStruct,8,True,01024CategoryTheory.CategoryWithHomology,2,True,01025CategoryTheory.CechNerveTerminalFrom,12,True,01026CategoryTheory.Center,76,True,01027CategoryTheory.ChosenPullbacksAlong,141,True,01028CategoryTheory.Classifier,49,True,01029CategoryTheory.Closed,4,True,01030CategoryTheory.Coalgebra,1,False,-11031CategoryTheory.Codiscrete,27,True,01032CategoryTheory.Cokleisli,10,False,-11033CategoryTheory.CommComon,24,True,01034CategoryTheory.CommGrp,65,True,01035CategoryTheory.CommGrpObj,5,True,01036CategoryTheory.CommGrp_Class,1,False,-11037CategoryTheory.CommMon,73,True,01038CategoryTheory.CommShift₂Setup,13,True,01039CategoryTheory.CommSq,89,True,01040CategoryTheory.Comma,279,True,01041CategoryTheory.CommaMorphism,12,True,01042CategoryTheory.Comon,102,True,01043CategoryTheory.ComonObj,22,True,01044CategoryTheory.Comonad,198,True,01045CategoryTheory.ComonadHom,15,True,01046CategoryTheory.ComonadIso,6,True,01047CategoryTheory.ComonadicLeftAdjoint,5,True,01048CategoryTheory.CompatiblePreserving,3,True,01049CategoryTheory.ComposableArrows,319,True,01050CategoryTheory.ConcreteCategory,45,True,01051CategoryTheory.Congruence,6,True,01052CategoryTheory.ConnectedComponents,7,True,01053CategoryTheory.Conv,5,True,01054CategoryTheory.CopyDiscardCategory,9,True,01055CategoryTheory.Core,30,True,01056CategoryTheory.CoreHom,7,True,01057CategoryTheory.CoreSmallCategoryOfSet,20,True,01058CategoryTheory.Coreflective,10,True,01059CategoryTheory.CosimplicialObject,127,True,01060CategoryTheory.CostructuredArrow,302,True,01061CategoryTheory.CountableAB4,5,True,01062CategoryTheory.CountableAB4Star,5,True,01063CategoryTheory.CountableCategory,15,True,01064CategoryTheory.CoverPreserving,3,True,01065CategoryTheory.Coverage,35,True,01066CategoryTheory.Coyoneda,23,True,01067CategoryTheory.CreatesColimit,4,True,01068CategoryTheory.CreatesColimitsOfShape,3,True,01069CategoryTheory.CreatesColimitsOfSize,3,True,01070CategoryTheory.CreatesLimit,4,True,01071CategoryTheory.CreatesLimitsOfShape,3,True,01072CategoryTheory.CreatesLimitsOfSize,3,True,01073CategoryTheory.Deterministic,2,False,-11074CategoryTheory.Dial,104,True,01075CategoryTheory.DifferentialObject,70,True,01076CategoryTheory.DinatTrans,11,True,01077CategoryTheory.Discrete,102,True,01078CategoryTheory.EffectiveEpi,8,True,01079CategoryTheory.EffectiveEpiFamily,11,True,01080CategoryTheory.EffectiveEpiFamilyStruct,8,True,01081CategoryTheory.EffectiveEpiStruct,8,True,01082CategoryTheory.End,15,True,01083CategoryTheory.Endofunctor,173,False,-11084CategoryTheory.EnoughInjectives,4,True,01085CategoryTheory.EnoughProjectives,2,True,01086CategoryTheory.Enriched,95,True,01087CategoryTheory.EnrichedCat,19,False,-11088CategoryTheory.EnrichedCategory,9,True,01089CategoryTheory.EnrichedFunctor,35,True,01090CategoryTheory.EnrichedNatTrans,5,True,01091CategoryTheory.EnrichedOrdinaryCategory,7,True,01092CategoryTheory.Epi,2,True,01093CategoryTheory.Equalizer,40,True,01094CategoryTheory.Equivalence,440,True,01095CategoryTheory.EssentiallySmall,3,True,01096CategoryTheory.ExactFunctor,14,False,-11097CategoryTheory.ExactPairing,18,True,01098CategoryTheory.Exponentiable,1,False,-11099CategoryTheory.ExponentiableMorphism,39,True,01100CategoryTheory.ExponentialIdeal,4,True,01101CategoryTheory.ExtremalEpi,5,True,01102CategoryTheory.Factorisation,44,True,01103CategoryTheory.FinCategory,20,True,01104CategoryTheory.FinalModel,1,False,-11105CategoryTheory.FinallySmall,10,True,01106CategoryTheory.FinitaryExtensive,14,True,01107CategoryTheory.FinitaryPreExtensive,11,True,01108CategoryTheory.FintypeCat,15,True,01109CategoryTheory.ForgetEnrichment,24,True,01110CategoryTheory.Free,16,False,-11111CategoryTheory.FreeBicategory,147,False,-11112CategoryTheory.FreeGroupoid,40,True,01113CategoryTheory.FreeMonoidalCategory,162,True,01114CategoryTheory.FullSubcategory,3,True,01115CategoryTheory.Functor,4160,True,01116CategoryTheory.FunctorCategory,1,False,-11117CategoryTheory.FunctorToTypes,103,True,01118CategoryTheory.Functorial,5,True,01119CategoryTheory.GaloisCategory,3,True,01120CategoryTheory.GlueData,70,True,01121CategoryTheory.GlueData',20,True,01122CategoryTheory.GradedNatTrans,10,True,01123CategoryTheory.GradedObject,352,True,01124CategoryTheory.Grothendieck,129,True,01125CategoryTheory.GrothendieckTopology,667,True,01126CategoryTheory.Groupoid,44,True,01127CategoryTheory.Grp,117,True,01128CategoryTheory.GrpObj,67,True,01129CategoryTheory.Grp_Class,9,False,-11130CategoryTheory.Grpd,29,True,01131CategoryTheory.HalfBraiding,9,True,01132CategoryTheory.HasCardinalFilteredColimits,3,True,01133CategoryTheory.HasCardinalFilteredGenerator,5,True,01134CategoryTheory.HasClassifier,17,True,01135CategoryTheory.HasCodetector,5,True,01136CategoryTheory.HasCoseparator,6,True,01137CategoryTheory.HasDetector,6,True,01138CategoryTheory.HasExactColimitsOfShape,5,True,01139CategoryTheory.HasExactLimitsOfShape,5,True,01140CategoryTheory.HasExt,3,True,01141CategoryTheory.HasForget,9,True,01142CategoryTheory.HasForget₂,6,True,01143CategoryTheory.HasInjectiveDimensionLT,4,True,01144CategoryTheory.HasInjectiveResolution,2,True,01145CategoryTheory.HasInjectiveResolutions,3,True,01146CategoryTheory.HasLeftDual,4,True,01147CategoryTheory.HasLiftingProperty,47,True,01148CategoryTheory.HasProjectiveDimensionLT,4,True,01149CategoryTheory.HasProjectiveResolution,2,True,01150CategoryTheory.HasProjectiveResolutions,3,True,01151CategoryTheory.HasPullbacksOfInclusions,6,True,01152CategoryTheory.HasRightDual,4,True,01153CategoryTheory.HasSeparator,7,True,01154CategoryTheory.HasSheafify,4,True,01155CategoryTheory.HasShift,18,True,01156CategoryTheory.HasSplitCoequalizer,5,True,01157CategoryTheory.HasSplitEqualizer,5,True,01158CategoryTheory.Hom,12,True,01159CategoryTheory.HomIsOver,2,True,01160CategoryTheory.HomOrthogonal,14,False,-11161CategoryTheory.HomRel,13,True,01162CategoryTheory.Hopf,9,True,01163CategoryTheory.HopfObj,21,True,01164CategoryTheory.Idempotents,276,True,01165CategoryTheory.Ind,15,True,01166CategoryTheory.IndParallelPairPresentation,19,True,01167CategoryTheory.InducedCategory,40,True,01168CategoryTheory.InducedWideCategory,6,True,01169CategoryTheory.Initial,1,False,-11170CategoryTheory.InitiallySmall,10,True,01171CategoryTheory.Injective,41,True,01172CategoryTheory.InjectivePresentation,10,True,01173CategoryTheory.InjectiveResolution,140,True,01174CategoryTheory.InternallyProjective,2,True,01175CategoryTheory.IsAccessibleCategory,2,True,01176CategoryTheory.IsBimonHom,3,True,01177CategoryTheory.IsCardinalAccessibleCategory,7,True,01178CategoryTheory.IsCardinalFiltered,102,True,01179CategoryTheory.IsCardinalFilteredGenerator,2,True,01180CategoryTheory.IsCardinalLocallyPresentable,5,True,01181CategoryTheory.IsCardinalPresentable,4,True,01182CategoryTheory.IsCartesianDistributive,3,False,-11183CategoryTheory.IsCodetecting,3,False,-11184CategoryTheory.IsCodetector,2,True,01185CategoryTheory.IsCofiltered,60,True,01186CategoryTheory.IsCofilteredOrEmpty,9,True,01187CategoryTheory.IsCommComonObj,3,True,01188CategoryTheory.IsCommMon,1,False,-11189CategoryTheory.IsCommMonObj,7,True,01190CategoryTheory.IsComonHom,5,True,01191CategoryTheory.IsConnected,7,True,01192CategoryTheory.IsCoreflexivePair,5,True,01193CategoryTheory.IsCoseparating,3,False,-11194CategoryTheory.IsCoseparator,3,True,01195CategoryTheory.IsDetecting,3,False,-11196CategoryTheory.IsDetector,2,True,01197CategoryTheory.IsDiscrete,5,True,01198CategoryTheory.IsFiltered,77,True,01199CategoryTheory.IsFilteredOrEmpty,10,True,01200CategoryTheory.IsFinitelyAccessibleCategory,3,True,0

Showing the first 1,200 of 10099 lines. Download the file for the rest.