{ "version": "1.0", "truncation": null, "padding": null, "added_tokens": [ { "id": 0, "content": "<|pad|>", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 1, "content": "<|bos|>", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 2, "content": "<|eos|>", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 3, "content": "<|endoftext|>", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 4, "content": "<|FORWARD|>", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 5, "content": "<|REPAIR|>", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 6, "content": "<|state|>", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 7, "content": "<|tactic|>", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true } ], "normalizer": null, "pre_tokenizer": { "type": "ByteLevel", "add_prefix_space": false, "trim_offsets": true, "use_regex": true }, "post_processor": null, "decoder": { "type": "ByteLevel", "add_prefix_space": true, "trim_offsets": true, "use_regex": true }, "model": { "type": "BPE", "dropout": null, "unk_token": null, "continuing_subword_prefix": null, "end_of_word_suffix": null, "fuse_unk": false, "byte_fallback": false, "ignore_merges": false, "vocab": { "<|pad|>": 0, "<|bos|>": 1, "<|eos|>": 2, "<|endoftext|>": 3, "<|FORWARD|>": 4, "<|REPAIR|>": 5, "<|state|>": 6, "<|tactic|>": 7, "!": 8, "\"": 9, "#": 10, "$": 11, "%": 12, "&": 13, "'": 14, "(": 15, ")": 16, "*": 17, "+": 18, ",": 19, "-": 20, ".": 21, "/": 22, "0": 23, "1": 24, "2": 25, "3": 26, "4": 27, "5": 28, "6": 29, "7": 30, "8": 31, "9": 32, ":": 33, ";": 34, "<": 35, "=": 36, ">": 37, "?": 38, "@": 39, "A": 40, "B": 41, "C": 42, "D": 43, "E": 44, "F": 45, "G": 46, "H": 47, "I": 48, "J": 49, "K": 50, "L": 51, "M": 52, "N": 53, "O": 54, "P": 55, "Q": 56, "R": 57, "S": 58, "T": 59, "U": 60, "V": 61, "W": 62, "X": 63, "Y": 64, "Z": 65, "[": 66, "\\": 67, "]": 68, "^": 69, "_": 70, "`": 71, "a": 72, "b": 73, "c": 74, "d": 75, "e": 76, "f": 77, "g": 78, "h": 79, "i": 80, "j": 81, "k": 82, "l": 83, "m": 84, "n": 85, "o": 86, "p": 87, "q": 88, "r": 89, "s": 90, "t": 91, "u": 92, "v": 93, "w": 94, "x": 95, "y": 96, "z": 97, "{": 98, "|": 99, "}": 100, "~": 101, "¡": 102, "¢": 103, "£": 104, "¤": 105, "¥": 106, "¦": 107, "§": 108, "¨": 109, "©": 110, "ª": 111, "«": 112, "¬": 113, "®": 114, "¯": 115, "°": 116, "±": 117, "²": 118, "³": 119, "´": 120, "µ": 121, "¶": 122, "·": 123, "¸": 124, "¹": 125, "º": 126, "»": 127, "¼": 128, "½": 129, "¾": 130, "¿": 131, "À": 132, "Á": 133, "Â": 134, "Ã": 135, "Ä": 136, "Å": 137, "Æ": 138, "Ç": 139, "È": 140, "É": 141, "Ê": 142, "Ë": 143, "Ì": 144, "Í": 145, "Î": 146, "Ï": 147, "Ð": 148, "Ñ": 149, "Ò": 150, "Ó": 151, "Ô": 152, "Õ": 153, "Ö": 154, "×": 155, "Ø": 156, "Ù": 157, "Ú": 158, "Û": 159, "Ü": 160, "Ý": 161, "Þ": 162, "ß": 163, "à": 164, "á": 165, "â": 166, "ã": 167, "ä": 168, "å": 169, "æ": 170, "ç": 171, "è": 172, "é": 173, "ê": 174, "ë": 175, "ì": 176, "í": 177, "î": 178, "ï": 179, "ð": 180, "ñ": 181, "ò": 182, "ó": 183, "ô": 184, "õ": 185, "ö": 186, "÷": 187, "ø": 188, "ù": 189, "ú": 190, "û": 191, "ü": 192, "ý": 193, "þ": 194, "ÿ": 195, "Ā": 196, "ā": 197, "Ă": 198, "ă": 199, "Ą": 200, "ą": 201, "Ć": 202, "ć": 203, "Ĉ": 204, "ĉ": 205, "Ċ": 206, "ċ": 207, "Č": 208, "č": 209, "Ď": 210, "ď": 211, "Đ": 212, "đ": 213, "Ē": 214, "ē": 215, "Ĕ": 216, "ĕ": 217, "Ė": 218, "ė": 219, "Ę": 220, "ę": 221, "Ě": 222, "ě": 223, "Ĝ": 224, "ĝ": 225, "Ğ": 226, "ğ": 227, "Ġ": 228, "ġ": 229, "Ģ": 230, "ģ": 231, "Ĥ": 232, "ĥ": 233, "Ħ": 234, "ħ": 235, "Ĩ": 236, "ĩ": 237, "Ī": 238, "ī": 239, "Ĭ": 240, "ĭ": 241, "Į": 242, "į": 243, "İ": 244, "ı": 245, "IJ": 246, "ij": 247, "Ĵ": 248, "ĵ": 249, "Ķ": 250, "ķ": 251, "ĸ": 252, "Ĺ": 253, "ĺ": 254, "Ļ": 255, "ļ": 256, "Ľ": 257, "ľ": 258, "Ŀ": 259, "ŀ": 260, "Ł": 261, "ł": 262, "Ń": 263, "Ġ:": 264, "ĠĠ": 265, "Ġâ": 266, "in": 267, "Ġ(": 268, "on": 269, "st": 270, "ĠÎ": 271, "le": 272, "or": 273, "ĠĠĠĠ": 274, "ĠâĨ": 275, "er": 276, "al": 277, "ĠT": 278, "âĤ": 279, "âľ": 280, "âľĿ": 281, "Ġa": 282, "ĠâĪ": 283, "pe": 284, "om": 285, "Ġf": 286, "Ġs": 287, "th": 288, "Ġh": 289, "Ġ=": 290, "Ġx": 291, "Ġi": 292, "ype": 293, "Ġ:=": 294, "at": 295, "re": 296, "se": 297, "inst": 298, "ct": 299, "ĠType": 300, "un": 301, "Ġb": 302, "ro": 303, "ĠĠĠ": 304, "ĠR": 305, "--": 306, "ĠâĨĴ": 307, "ĠM": 308, "Ġα": 309, "ĠS": 310, "im": 311, "Ġn": 312, "ar": 313, "Ġc": 314, "Ġ[": 315, "ĠF": 316, "an": 317, "en": 318, "su": 319, "Ġu": 320, "ĠâĦ": 321, "ap": 322, "Ġp": 323, "iv": 324, "em": 325, "ce": 326, "it": 327, "et": 328, "ion": 329, "ed": 330, "Ġm": 331, "Ġt": 332, "ĠC": 333, "Ġâī": 334, "ing": 335, "Ġr": 336, "ul": 337, "of": 338, "ĠI": 339, "Ġ{": 340, "Ġ`": 341, "is": 342, "âĤĤ": 343, "âĤģ": 344, "ic": 345, "ab": 346, "ĠâĪĪ": 347, "ĠâĨij": 348, "Ġ_": 349, "ĠĠĠĠĠĠĠĠ": 350, "pa": 351, "))": 352, "the": 353, "Ġg": 354, "int": 355, "ĠA": 356, "Ġe": 357, "dd": 358, "de": 359, "ĠG": 360, "if": 361, "ly": 362, "able": 363, "Ġ0": 364, "ĠN": 365, "ĠE": 366, "ge": 367, "orm": 368, "op": 369, "ðĿ": 370, "Ġ?": 371, "imp": 372, "Ġ=>": 373, "omm": 374, "Ġy": 375, "as": 376, "lo": 377, "ĠP": 378, "pace": 379, "up": 380, "Ġ*": 381, "),": 382, "ea": 383, "¹": 384, "eg": 385, "eq": 386, "Ġby": 387, "Ġw": 388, ").": 389, "Ġ-": 390, "âĬ": 391, "âģ": 392, "ĠL": 393, "Ġ+": 394, "ĠâĪĢ": 395, "du": 396, "Ġin": 397, "âĬ¢": 398, "omp": 399, "Ġ<": 400, "Ġ1": 401, "Ġv": 402, "ĠâŁ": 403, "Space": 404, "âĨ": 405, "ri": 406, "ine": 407, "Ġl": 408, "ub": 409, "ĠâĦķ": 410, "Ġâī¤": 411, "ase": 412, "ot": 413, "id": 414, "easu": 415, "set": 416, "ĠSet": 417, "ĠâĦĿ": 418, "Ġι": 419, "ra": 420, "Ġfun": 421, "ist": 422, "Ġthe": 423, "iff": 424, "ĠðĿ": 425, "âŁ": 426, "nd": 427, "ĠĠĠĠĠ": 428, "ĠIs": 429, "roup": 430, "mm": 431, "ĠX": 432, "ķľ": 433, "mul": 434, "Ġd": 435, "ont": 436, "to": 437, "Comm": 438, "Ġis": 439, "orem": 440, "⣩": 441, "ction": 442, "case": 443, "Ġβ": 444, "ent": 445, "âĨij": 446, "ero": 447, "α": 448, "fun": 449, "intro": 450, "ith": 451, "el": 452, "Ġj": 453, "es": 454, "Ġof": 455, "Ġ⣨": 456, "map": 457, "act": 458, "IC": 459, "LT": 460, "theorem": 461, "ĠâĬ": 462, "Ġk": 463, "ive": 464, "Ġex": 465, "der": 466, "qu": 467, "ES": 468, "In": 469, "ormed": 470, "us": 471, "ht": 472, "odu": 473, "odule": 474, "Ġsimp": 475, "AC": 476, "AL": 477, "ACT": 478, "ĠGO": 479, "ACTIC": 480, "ĠTACTIC": 481, "ĠGOAL": 482, "il": 483, "ULT": 484, "ĠRES": 485, "ĠRESULT": 486, "Group": 487, "Ģĸ": 488, "ono": 489, "Ġ^": 490, "ĠÏ": 491, "ĠD": 492, "ory": 493, "ĠFin": 494, "ĠÂ": 495, "oc": 496, "Is": 497, "ĠK": 498, "ĠðĿķľ": 499, "ex": 500, "one": 501, "log": 502, "ran": 503, "ect": 504, "ib": 505, "Ġth": 506, "geb": 507, "Ġre": 508, "ĠB": 509, "po": 510, "rable": 511, "gebra": 512, "ddComm": 513, "co": 514, "Ġ2": 515, "ĠH": 516, "he": 517, "zero": 518, "ght": 519, "Ġ/": 520, "Ġrw": 521, "@[": 522, "inear": 523, "cc": 524, "Map": 525, "olog": 526, "mp": 527, "ĠâĨij(": 528, "Ring": 529, "comp": 530, "Hom": 531, "ir": 532, "ation": 533, "ort": 534, "ĠNormed": 535, "ve": 536, "end": 537, "²": 538, "fl": 539, "ĠV": 540, "Or": 541, "ath": 542, "Ġ}": 543, "âĤĢ": 544, "Ġle": 545, "ial": 546, "Ġto": 547, "Fin": 548, "easurable": 549, "ite": 550, "add": 551, "easure": 552, "ddCommGroup": 553, "onoid": 554, "ty": 555, "ard": 556, "Ġ-/": 557, "ob": 558, "simp": 559, "ĠY": 560, "ĠâĪ§": 561, "Ġ|": 562, "/--": 563, "μ": 564, "lib": 565, "Re": 566, "ι": 567, "athlib": 568, "ous": 569, "ver": 570, "Un": 571, "mem": 572, "inu": 573, "ontinu": 574, "opolog": 575, "app": 576, "ut": 577, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 578, "um": 579, "con": 580, "ft": 581, "âĪ": 582, "sub": 583, "pp": 584, "Ġz": 585, "Ġâīł": 586, "Ġha": 587, "ical": 588, "ĠMathlib": 589, "rop": 590, "Ġon": 591, "quiv": 592, "fine": 593, "iz": 594, "Fun": 595, "ontinuous": 596, "ol": 597, "ance": 598, "ter": 599, "ĠĠĠĠĠĠĠ": 600, "Ġ(âĨij": 601, "ymm": 602, "On": 603, "Set": 604, "lic": 605, "ject": 606, "ateg": 607, "lgebra": 608, "def": 609, "β": 610, "Ġq": 611, "ch": 612, "val": 613, "ategory": 614, "mma": 615, "Ġ((": 616, "hf": 617, "âĢĸ": 618, "no": 619, "sing": 620, "Ġ·": 621, "ain": 622, "ck": 623, "all": 624, "Ġ(_": 625, "áµ": 626, "mk": 627, "Ġexact": 628, "Ġμ": 629, "³": 630, "am": 631, "pen": 632, "Order": 633, "ari": 634, "ĠâĢ": 635, "ass": 636, "ĠFinset": 637, "imit": 638, "At": 639, "Ġâī«": 640, "ĠâĪĥ": 641, "Ġrfl": 642, "ĠJ": 643, "rod": 644, "AddCommGroup": 645, "Equiv": 646, "`.": 647, "âĤĥ": 648, "lt": 649, "als": 650, "ĠâĢ¢": 651, "ĠâĨ¦": 652, "Mul": 653, "Ġ⣶": 654, "ru": 655, "Ġwith": 656, "With": 657, "Monoid": 658, "Ġmap": 659, "rans": 660, "age": 661, "symm": 662, "Ġat": 663, "omple": 664, "Real": 665, "Nat": 666, "fst": 667, "lemma": 668, "vari": 669, "Ġcon": 670, "ĠMeasurable": 671, "Of": 672, "jective": 673, "right": 674, "emp": 675, "ctor": 676, "ĠIn": 677, "ti": 678, "Ġgo": 679, "Sub": 680, "oun": 681, "ĠâĨĶ": 682, "succ": 683, "res": 684, "Ġand": 685, "apply": 686, "Ġhave": 687, "opological": 688, "ĠSub": 689, "ĠComm": 690, "art": 691, "ree": 692, "ur": 693, "Ġonly": 694, "ne": 695, "empty": 696, "snd": 697, "The": 698, "ĠâĢĸ": 699, "ift": 700, "Ġhx": 701, "Ġwh": 702, "Ġgoals": 703, "Eq": 704, "LE": 705, "âĨIJ": 706, "ĠâĨIJ": 707, "ĠList": 708, "ha": 709, "obj": 710, "rim": 711, "left": 712, "ĠNormedAddCommGroup": 713, "ow": 714, "ec": 715, "ĠModule": 716, "iel": 717, "ight": 718, "ef": 719, "ĠNat": 720, "ack": 721, "Algebra": 722, "Ġhf": 723, "âģ´": 724, "ield": 725, "ast": 726, "variable": 727, "ublic": 728, "ĠW": 729, "Ġ¬": 730, "deal": 731, "his": 732, "Ġ[âĨIJ": 733, "sed": 734, "ig": 735, "ilter": 736, "rict": 737, "''": 738, "Ġun": 739, "Linear": 740, "oint": 741, "pos": 742, "lean": 743, "ere": 744, "module": 745, "ĠU": 746, "Theory": 747, "ity": 748, "ate": 749, "Ġas": 750, "ens": 751, "Ġco": 752, "hom": 753, "smul": 754, "ĠÃ": 755, "ĠÃĹ": 756, "instance": 757, "iring": 758, "inv": 759, "ĠâĬĨ": 760, "aliz": 761, "neg": 762, "Ġimp": 763, "Measure": 764, "public": 765, "ie": 766, "onempty": 767, "pow": 768, "te": 769, "Ġε": 770, "opologicalSpace": 771, "orp": 772, "eriv": 773, "Ġfor": 774, "idable": 775, "Ġ(âĪ": 776, "ax": 777, "ĠFI": 778, "Ġ<|": 779, "ĠFILE": 780, "losed": 781, "rw": 782, "âī": 783, "`,": 784, "Ġintro": 785, "Ġde": 786, "pan": 787, "Ġrefine": 788, "algebra": 789, "Ġmul": 790, "ĠÏĥ": 791, "Ġimport": 792, "ĠNormedSpace": 793, "hs": 794, "ecidable": 795, "Add": 796, "gr": 797, "hx": 798, "this": 799, "ĠQ": 800, "fin": 801, "Ġ?_": 802, "emiring": 803, "range": 804, "Iso": 805, "âģ»": 806, "ĵĿ": 807, "os": 808, "sto": 809, "endsto": 810, "tr": 811, "Ġan": 812, "Ġo": 813, "EM": 814, "ðĿķľ": 815, "ors": 816, "rime": 817, "ull": 818, "itive": 819, "âģµ": 820, "tion": 821, "get": 822, "strict": 823, "Con": 824, "intype": 825, "ĠZ": 826, "Open": 827, "oo": 828, "ext": 829, "Finite": 830, "âī¥": 831, "ral": 832, ")]": 833, "Ġthis": 834, "Top": 835, "etr": 836, "prod": 837, "ists": 838, "ĠĠĠĠĠĠĠĠĠ": 839, "ĠHas": 840, "eri": 841, "ad": 842, "image": 843, "ound": 844, "ĠTopologicalSpace": 845, "ition": 846, "card": 847, "Ġif": 848, "lass": 849, "ally": 850, "Ġthen": 851, "coe": 852, "Category": 853, "non": 854, "ĠThe": 855, "Ġâĭ": 856, "Ġval": 857, "γ": 858, "trans": 859, "norm": 860, "Ġγ": 861, "Ġusing": 862, "ĠMeasure": 863, "duct": 864, "supp": 865, "Unit": 866, "'_": 867, "hd": 868, "asis": 869, "Comple": 870, "Ġwhere": 871, "od": 872, "Deriv": 873, "ĠDecidable": 874, "Ġapp": 875, "erm": 876, "omial": 877, "Sup": 878, "ated": 879, "ser": 880, "teg": 881, "eff": 882, "Loc": 883, "single": 884, "roper": 885, "pre": 886, "Zero": 887, "ε": 888, "Co": 889, "sum": 890, "ĠâĨijâĨij": 891, "ome": 892, "ĠCommRing": 893, "roduct": 894, "Ġ::": 895, "âĤĹ": 896, "Ġthat": 897, "Within": 898, "comm": 899, "ĠMeasurableSpace": 900, "nat": 901, "HE": 902, "OR": 903, "ĠTHE": 904, "OREM": 905, "ĠTHEOREM": 906, "-/": 907, "ĠLinear": 908, "by": 909, ")).": 910, "Ġlet": 911, "ange": 912, "')": 913, "sure": 914, "δ": 915, "Ġst": 916, "losure": 917, "Field": 918, "opology": 919, "ÏĢ": 920, "Ġsub": 921, "St": 922, "rib": 923, "Pre": 924, "ant": 925, "ient": 926, "joint": 927, "Ġext": 928, "ind": 929, "hism": 930, "orphism": 931, "type": 932, "ĠCategory": 933, "List": 934, "ĠProp": 935, "ure": 936, "atri": 937, "riv": 938, "Ġob": 939, "hp": 940, "len": 941, "hea": 942, "ĠâĪ©": 943, "âģ¶": 944, "oly": 945, "atrix": 946, "for": 947, "ĠâĪĺ": 948, "assoc": 949, "ĠContinuous": 950, "Ġint": 951, "Ġapply": 952, "ruct": 953, "roperty": 954, "impa": 955, "á¶": 956, "rom": 957, "ĠâĬ¤": 958, "ag": 959, "Ġ//": 960, "ĠâĦ¤": 961, "*}": 962, "cast": 963, "Ġhs": 964, "cases": 965, "ĠIsC": 966, "ĠDecidableEq": 967, "nomial": 968, "tain": 969, "ĠFintype": 970, "back": 971, "ompa": 972, "ĠÏĨ": 973, "alse": 974, "uot": 975, "NReal": 976, "ullback": 977, "ĠAddCommGroup": 978, "etric": 979, "subset": 980, "univ": 981, "cal": 982, "row": 983, "Ġ.": 984, "ker": 985, "Module": 986, "ton": 987, "Ġsu": 988, "âĪŀ": 989, "iform": 990, ")))": 991, "/-": 992, "âĦ": 993, "',": 994, "Ġδ": 995, "Comp": 996, "¥¤": 997, "ÏĨ": 998, "Finset": 999, "Ġ⥤": 1000, "olynomial": 1001, "inal": 1002, "Ġdef": 1003, "Limit": 1004, "ĠFun": 1005, "ĠâĪij": 1006, "ompact": 1007, "Ex": 1008, "To": 1009, "Semiring": 1010, "Ïĥ": 1011, "ĠO": 1012, "algebraMap": 1013, "ers": 1014, "ep": 1015, "ðĿĵĿ": 1016, "ward": 1017, "ĠAlgebra": 1018, "Topology": 1019, "Ġâģ": 1020, "Cat": 1021, "ip": 1022, "Ġsimpa": 1023, "ĠMul": 1024, "Ġnot": 1025, "rivial": 1026, "inr": 1027, "Ġset": 1028, "gth": 1029, "Diff": 1030, "ment": 1031, "rue": 1032, "ĠâĦĤ": 1033, "Ġadd": 1034, "Le": 1035, "not": 1036, "order": 1037, "ata": 1038, "additive": 1039, "ener": 1040, "Ġ_)": 1041, "pect": 1042, "ke": 1043, "ower": 1044, "LinearMap": 1045, "top": 1046, "Ġ(âĨij(": 1047, "ĠâĪĤ": 1048, "NNReal": 1049, "ator": 1050, "Complex": 1051, "Ġel": 1052, "Ġobtain": 1053, "Au": 1054, "div": 1055, "Ġab": 1056, "ĠIdeal": 1057, "open": 1058, "ss": 1059, "Functor": 1060, "ang": 1061, "isjoint": 1062, "ddCommMonoid": 1063, "02": 1064, "Ideal": 1065, "sel": 1066, "wo": 1067, "'.": 1068, "Continuous": 1069, "olimit": 1070, "equ": 1071, "Ġhi": 1072, "ise": 1073, "Ġsnd": 1074, "self": 1075, "Ġfst": 1076, "ounded": 1077, "Class": 1078, "hn": 1079, "restrict": 1080, "hg": 1081, "section": 1082, "sert": 1083, "Nonempty": 1084, "ĠTendsto": 1085, "Ġâīĥ": 1086, "Ġhp": 1087, "const": 1088, "Ġmem": 1089, "ĠĠĠĠĠĠĠĠĠĠĠ": 1090, "Ġfin": 1091, ".{": 1092, "Integ": 1093, "ection": 1094, "eries": 1095, "Ġhy": 1096, "Ġâģ»": 1097, "Ġnorm": 1098, "omain": 1099, "heaf": 1100, "ible": 1101, "ĠRing": 1102, "nt": 1103, "ile": 1104, "asic": 1105, "ary": 1106, "air": 1107, "ected": 1108, "Ordered": 1109, "ative": 1110, "ĠSt": 1111, "ong": 1112, "Ġelse": 1113, "ode": 1114, "eval": 1115, "singleton": 1116, "Ġ\"": 1117, "nam": 1118, "Ġit": 1119, "Ġzero": 1120, "congr": 1121, "wise": 1122, "ĠâĬĹ": 1123, "inl": 1124, "Measurable": 1125, "ŁĻ": 1126, "ĠÏĢ": 1127, "hb": 1128, "ension": 1129, "âģ·": 1130, "hds": 1131, "pl": 1132, "omap": 1133, "imple": 1134, "Ġproperty": 1135, "Ġν": 1136, "pr": 1137, "ding": 1138, "root": 1139, "Ġpro": 1140, "lift": 1141, "ize": 1142, "Ġright": 1143, "verse": 1144, "ontrivial": 1145, "nel": 1146, "pi": 1147, "cl": 1148, "Ġ''": 1149, "uotient": 1150, "Deg": 1151, "sc": 1152, "ĠSubmodule": 1153, "Trans": 1154, "ensor": 1155, "##": 1156, "Ġsome": 1157, "mono": 1158, "ancel": 1159, "pend": 1160, "Ġcomp": 1161, "ffine": 1162, "11": 1163, "ructure": 1164, "ĠComple": 1165, "Ġhg": 1166, "ĠâĪ¨": 1167, "Ġdist": 1168, "tiset": 1169, "ount": 1170, "ner": 1171, "])": 1172, "cle": 1173, "Uniform": 1174, "injective": 1175, "span": 1176, "Normed": 1177, "Left": 1178, "calar": 1179, "exact": 1180, "support": 1181, "Data": 1182, "pro": 1183, "dex": 1184, "Ġinf": 1185, "finite": 1186, "Basis": 1187, "Ġare": 1188, "Ġmk": 1189, "ackward": 1190, "egral": 1191, "ense": 1192, "lement": 1193, "Right": 1194, "Series": 1195, "Product": 1196, "Degree": 1197, "opy": 1198, "au": 1199, "ves": 1200, "Ġbe": 1201, "espace": 1202, "SMul": 1203, "ĠAddCommMonoid": 1204, "Ch": 1205, "ĠMeasurableSet": 1206, "reser": 1207, "group": 1208, "inter": 1209, "Ball": 1210, "Ġtrue": 1211, "Ġhb": 1212, "Ord": 1213, "ĠâĪ£": 1214, "and": 1215, "sup": 1216, "bed": 1217, "Ġ_).": 1218, "Ġfile": 1219, "Ġ(-": 1220, "alization": 1221, "exists": 1222, "ĠFilter": 1223, "},": 1224, "ĠFunction": 1225, "Ġfunction": 1226, "hc": 1227, "Ar": 1228, "cy": 1229, "WithinAt": 1230, "Ġhn": 1231, "Union": 1232, "Ġfrom": 1233, "ĠâĭĻ": 1234, "Rel": 1235, "Polynomial": 1236, "option": 1237, "namespace": 1238, "ll": 1239, "refine": 1240, "max": 1241, "bedding": 1242, "ĠatTop": 1243, "Inf": 1244, "Ġone": 1245, "Prime": 1246, "15": 1247, "hy": 1248, "forget": 1249, "10": 1250, "Scalar": 1251, "Ġeq": 1252, "Ġneg": 1253, "Norm": 1254, "pec": 1255, "iag": 1256, "ta": 1257, "12": 1258, "deriv": 1259, "Ġ(âĪĢ": 1260, "14": 1261, "iqu": 1262, "ular": 1263, "ih": 1264, "ĠĠĠĠĠĠĠĠĠĠĠĠĠ": 1265, "port": 1266, "Ġwe": 1267, "nonneg": 1268, "Ġrange": 1269, "Ġht": 1270, "dj": 1271, "18": 1272, "erent": 1273, "mage": 1274, "mpr": 1275, "ĠâĨĴ+": 1276, "Ġfalse": 1277, "ĠSort": 1278, "cons": 1279, "ire": 1280, "Ġ--": 1281, "Ġ\\": 1282, "Ġnat": 1283, "ces": 1284, "ique": 1285, "plic": 1286, "âģ¸": 1287, "nhds": 1288, "áµĴ": 1289, "Ab": 1290, "rank": 1291, "Icc": 1292, "/-!": 1293, "17": 1294, "Ġhas": 1295, "Part": 1296, "áµĴáµ": 1297, "Colimit": 1298, "ix": 1299, "ĠENNReal": 1300, "Ġcoe": 1301, "ae": 1302, "ector": 1303, "Domain": 1304, "Basic": 1305, "low": 1306, "Ob": 1307, "Sum": 1308, "ĠAdd": 1309, "hi": 1310, "hr": 1311, "ma": 1312, "vd": 1313, "Seq": 1314, "ĠðĿĵĿ": 1315, "duction": 1316, "Ġcard": 1317, "Ġch": 1318, "Ġunder": 1319, "ᶳ": 1320, "ĠIf": 1321, "imal": 1322, "Ġpos": 1323, "Op": 1324, "16": 1325, "alen": 1326, "FDeriv": 1327, "comap": 1328, "losedBall": 1329, "monoid": 1330, "cont": 1331, "ĠÎĵ": 1332, "hape": 1333, "out": 1334, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 1335, "actor": 1336, "Ġid": 1337, "vert": 1338, "Integral": 1339, "Ġ$": 1340, "duc": 1341, "Has": 1342, "Ġeval": 1343, "ĠSemiring": 1344, "gree": 1345, "CommRing": 1346, "lg": 1347, ";>": 1348, "Ġhom": 1349, "Ġtheorem": 1350, "ame": 1351, "Ġ<;>": 1352, "ute": 1353, "vex": 1354, "ide": 1355, "Num": 1356, "ĠBo": 1357, "Ġ3": 1358, "aph": 1359, "19": 1360, "oose": 1361, "Ġcontinuous": 1362, "ates": 1363, "reserves": 1364, "cre": 1365, "â¦": 1366, "rec": 1367, "has": 1368, "ich": 1369, "oin": 1370, "Function": 1371, "inf": 1372, "oi": 1373, "ĠRe": 1374, "ĠMatrix": 1375, "One": 1376, "ĠâĨĴ+*": 1377, "Prod": 1378, "Aux": 1379, "ys": 1380, "âĤĦ": 1381, "Ġtype": 1382, "Ġbackward": 1383, "Bot": 1384, "orph": 1385, "ssoc": 1386, "ĠLinearMap": 1387, "diff": 1388, "ike": 1389, "13": 1390, "Em": 1391, "omorphism": 1392, "Shape": 1393, "min": 1394, "iable": 1395, "Ġhc": 1396, "continuous": 1397, "ᶾ": 1398, "utable": 1399, "ence": 1400, "áµĴáµĸ": 1401, "omorph": 1402, "Ġexists": 1403, "ry": 1404, "Ġâĭĥ": 1405, "node": 1406, "Def": 1407, "ĠNontrivial": 1408, "âĤģâĤĤ": 1409, "ĠCon": 1410, "Ġ(â": 1411, "iUnion": 1412, "Ġlemma": 1413, "onal": 1414, "ord": 1415, "ĠSem": 1416, "Ġuniv": 1417, "Ġsup": 1418, "Quotient": 1419, "Pair": 1420, "Ġsection": 1421, "Ġconst": 1422, "⣩,": 1423, "atti": 1424, "An": 1425, "áµIJ": 1426, "dual": 1427, "ĠCont": 1428, "ies": 1429, "ily": 1430, "ĠLie": 1431, "Action": 1432, "insert": 1433, "ĠâĪª": 1434, "âģ°": 1435, "old": 1436, "part": 1437, "rfl": 1438, "23": 1439, "ĠâĪ«": 1440, "closure": 1441, "attice": 1442, "Ġ})": 1443, "Ġal": 1444, "ĠComplete": 1445, "Type": 1446, "ountable": 1447, "amily": 1448, "ĠInteg": 1449, "ĠOrd": 1450, "ĠIsOpen": 1451, "Ġinv": 1452, "Ġsucc": 1453, "ĠAll": 1454, "Ġcont": 1455, "ian": 1456, "che": 1457, "unit": 1458, "Inde": 1459, "']": 1460, "Ġlen": 1461, "Ġpre": 1462, "ĠPre": 1463, "etricSpace": 1464, "25": 1465, "crete": 1466, "Embedding": 1467, "})": 1468, "igma": 1469, "20": 1470, "ieve": 1471, "ĠFinite": 1472, "dvd": 1473, "ĠInt": 1474, "âľĿ)": 1475, "length": 1476, "we": 1477, "Lp": 1478, "Ġexp": 1479, "coeff": 1480, "ernel": 1481, "24": 1482, "Id": 1483, "ivis": 1484, "Ġ_,": 1485, "erentiable": 1486, "Ġâ¦": 1487, "ongly": 1488, "filter": 1489, "ilinear": 1490, "Ġdo": 1491, "âģ¹": 1492, "ff": 1493, "cd": 1494, "ĠMultiset": 1495, "ĠMeasureTheory": 1496, "hab": 1497, "Submodule": 1498, "Like": 1499, "ization": 1500, "ved": 1501, "ign": 1502, "Ġ++": 1503, "abs": 1504, "Ġdesc": 1505, "Closed": 1506, "ðĿŁĻ": 1507, "integral": 1508, "Ġlift": 1509, "alk": 1510, "Ġlength": 1511, "ĠâĬ¥": 1512, "hm": 1513, "Matrix": 1514, "plit": 1515, "`-": 1516, "tiplic": 1517, "Localization": 1518, "ĠΩ": 1519, "Ġsmul": 1520, "Non": 1521, "Form": 1522, "Su": 1523, "computable": 1524, "ĠField": 1525, "â¦Ħ": 1526, "Ġâ¦ĥ": 1527, "Ġsh": 1528, "Ġcoeff": 1529, "_,": 1530, "bot": 1531, "actic": 1532, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 1533, "Ġâĸ": 1534, "Ġring": 1535, "Ġmax": 1536, "Pro": 1537, "Gr": 1538, "raction": 1539, "ĠâĨij(âĨij": 1540, "Alg": 1541, "ĠNonempty": 1542, "ology": 1543, "dist": 1544, "ay": 1545, "Ġcongr": 1546, "Ġhm": 1547, "Ġinfer": 1548, "Sem": 1549, "ud": 1550, "Ġfinite": 1551, "refl": 1552, "ore": 1553, "Ġcase": 1554, "`:": 1555, "some": 1556, "Ġgener": 1557, "ue": 1558, "Mod": 1559, "inary": 1560, "ĠLoc": 1561, "ell": 1562, "epar": 1563, "tendsto": 1564, "ĠIntegrable": 1565, "pair": 1566, "Ġκ": 1567, "ĠâĦļ": 1568, "ĠÏī": 1569, "áµ¥": 1570, "duce": 1571, "Ġspace": 1572, "onglyMeasurable": 1573, "imension": 1574, "sur": 1575, "Ġabs": 1576, "sin": 1577, "noncomputable": 1578, "27": 1579, "Ġne": 1580, "icator": 1581, "eta": 1582, "cond": 1583, "tected": 1584, "ased": 1585, "attr": 1586, "Ġdefin": 1587, "Ġ%": 1588, "Ġnon": 1589, "cancel": 1590, "ĠCommSemiring": 1591, "equiv": 1592, "Ġη": 1593, "Ġleft": 1594, "26": 1595, "Ġcan": 1596, "nected": 1597, "Ġrintro": 1598, "Ġrcases": 1599, "Ġinr": 1600, "ĠMonoid": 1601, "CategoryTheory": 1602, "ingle": 1603, "ations": 1604, "og": 1605, "choose": 1606, "ual": 1607, "ĠSimple": 1608, "simps": 1609, "29": 1610, "Inter": 1611, "⣨": 1612, "âĦĿ": 1613, "Filter": 1614, "Copy": 1615, "Ġclosure": 1616, "alized": 1617, "ducible": 1618, "ually": 1619, "ĠUniform": 1620, "Mono": 1621, "atch": 1622, "onot": 1623, "Limits": 1624, "vent": 1625, "Inst": 1626, "Ġdescrib": 1627, "prop": 1628, "âĤĺ": 1629, "onent": 1630, "Dist": 1631, "Tensor": 1632, ")),": 1633, "Ġimage": 1634, "exp": 1635, "28": 1636, "Int": 1637, "Ġall": 1638, "toReal": 1639, "Ġequiv": 1640, "io": 1641, "reducible": 1642, "34": 1643, "Ġar": 1644, "sent": 1645, "RingHom": 1646, "37": 1647, "Ġsum": 1648, "ove": 1649, "pendent": 1650, "NS": 1651, "36": 1652, "iven": 1653, "Ġ>": 1654, "Compact": 1655, "forall": 1656, "Coeff": 1657, "Ġdescribed": 1658, "unop": 1659, "mple": 1660, "Ġor": 1661, "Tower": 1662, "ĠÏĦ": 1663, ")âģ»": 1664, "55": 1665, "iso": 1666, "ush": 1667, "thors": 1668, "ĠOp": 1669, "served": 1670, "Ġreserved": 1671, "ber": 1672, "onotone": 1673, "ural": 1674, "icense": 1675, "Copyright": 1676, "Rele": 1677, "Authors": 1678, "Ġrights": 1679, "Instance": 1680, "Ġlicense": 1681, "ICE": 1682, "alence": 1683, "Released": 1684, "pache": 1685, "ĠApache": 1686, "ĠLICE": 1687, "NSE": 1688, "ĠLICENSE": 1689, "Cast": 1690, "erase": 1691, "preimage": 1692, "Arrow": 1693, ")`": 1694, "WithZero": 1695, "Succ": 1696, "irect": 1697, "oot": 1698, "Ġcomm": 1699, "Ġfunctor": 1700, "protected": 1701, "ample": 1702, "Ġop": 1703, "have": 1704, "wap": 1705, "ĠSubtype": 1706, "30": 1707, "ful": 1708, "ĠCompleteSpace": 1709, "Ġequ": 1710, "two": 1711, "inj": 1712, "our": 1713, "ScalarTower": 1714, "ĠMv": 1715, "Cone": 1716, "Ġ?_⣩": 1717, "Val": 1718, "âĤĬ": 1719, "Cover": 1720, "Ġuse": 1721, "Pred": 1722, "etry": 1723, "Ġorder": 1724, "ren": 1725, "Lift": 1726, "ĠðĿĵ": 1727, "ormal": 1728, "adj": 1729, "resheaf": 1730, "ofReal": 1731, "Ext": 1732, "pose": 1733, "actors": 1734, "ĠCode": 1735, "lim": 1736, "Ġgr": 1737, "NormedField": 1738, "ĠHom": 1739, "ĠGroup": 1740, "ĠtoFun": 1741, "mall": 1742, "Pullback": 1743, "trib": 1744, "ĠTop": 1745, "Ġelement": 1746, "Ġtwo": 1747, "Ġâĸ¸": 1748, "inormed": 1749, "Ġâ¨": 1750, "ventually": 1751, "Ġhr": 1752, "ĠComp": 1753, "ĠOption": 1754, "Ġinstance": 1755, "Fintype": 1756, "Locally": 1757, "oid": 1758, "ĠBool": 1759, "Ġ#": 1760, "Const": 1761, "ĠOrder": 1762, "87": 1763, "LinearEquiv": 1764, "iscrete": 1765, "ac": 1766, "ĠOrdinal": 1767, "index": 1768, "pt": 1769, "Unique": 1770, "cur": 1771, "ĠEx": 1772, "ĠDisjoint": 1773, "tilinear": 1774, "Anal": 1775, "respect": 1776, "seud": 1777, "Ġcons": 1778, "ometry": 1779, "orel": 1780, "ĠPart": 1781, "Finsupp": 1782, "Cont": 1783, "ĠCo": 1784, "Simple": 1785, "_.": 1786, "sh": 1787, "ocone": 1788, "Opens": 1789, "ean": 1790, "angle": 1791, "ĠâĪı": 1792, "ĠðĿŁĻ": 1793, "Max": 1794, "alizer": 1795, "Obj": 1796, "ĠðĿĴ": 1797, "Ġ`(": 1798, "ĠâĬĶ": 1799, "Ġ(âĪ«": 1800, "Ġ⣨_,": 1801, "lyNormedField": 1802, "iter": 1803, "ram": 1804, "ysis": 1805, "union": 1806, "eas": 1807, "subtype": 1808, "Ġ[]": 1809, "39": 1810, "ĠTopCat": 1811, "¹âģ°": 1812, "Countable": 1813, "Ġprod": 1814, "pullback": 1815, "Ġhd": 1816, "Ġ/--": 1817, "paren": 1818, "Ġâīħ": 1819, "Analysis": 1820, "Ġwhich": 1821, "ĠâĬĵ": 1822, "Ġxs": 1823, "parency": 1824, "ped": 1825, "ersion": 1826, "35": 1827, "abil": 1828, "Ġinst": 1829, "ĠReal": 1830, "Point": 1831, "linear": 1832, "Ġfilter": 1833, "00": 1834, "Dimension": 1835, "ĠclosedBall": 1836, "bit": 1837, "ĠâĪħ": 1838, "arrow": 1839, "rum": 1840, "pectrum": 1841, "DefEq": 1842, "ÏĦ": 1843, "ĠCh": 1844, "ardinal": 1845, "ose": 1846, "Ġderiv": 1847, "sq": 1848, "tronglyMeasurable": 1849, "ological": 1850, "κ": 1851, "ĠFree": 1852, "uation": 1853, "ĠIsClosed": 1854, "Ġspan": 1855, "urjective": 1856, "etwe": 1857, "etween": 1858, "AddGroup": 1859, "Ġlo": 1860, "⣩⣩": 1861, "Ġdegree": 1862, "osition": 1863, "Ġta": 1864, "surjective": 1865, "Ġget": 1866, "Ġlinear": 1867, "Ioi": 1868, "Ġpoint": 1869, "Graph": 1870, "Bounded": 1871, "Transparency": 1872, "iagonal": 1873, "respectTransparency": 1874, "Ë¢": 1875, "Cof": 1876, "hl": 1877, "46": 1878, "48": 1879, "ring": 1880, "Injective": 1881, "Assoc": 1882, "âĪĢ": 1883, "seudo": 1884, "Ġmeasure": 1885, "functor": 1886, "ĠSum": 1887, "Ġ202": 1888, "inc": 1889, "Ġover": 1890, "hu": 1891, "rad": 1892, "num": 1893, "Ġ@": 1894, "Ġdsimp": 1895, "ĠLinearOrdered": 1896, "ĠisL": 1897, "ĠRingHom": 1898, "ĠNontriviallyNormedField": 1899, "Ġ(âĭ": 1900, "isDefEq": 1901, "Dual": 1902, "âĤĽ": 1903, "ycle": 1904, "limit": 1905, "Span": 1906, "unt": 1907, "Root": 1908, "Ġ4": 1909, "Abs": 1910, "ologicalComplex": 1911, "Closure": 1912, "omb": 1913, "Ġnone": 1914, "ball": 1915, "ĠIoo": 1916, "fle": 1917, "TopologicalSpace": 1918, "Pi": 1919, "example": 1920, "ν": 1921, "toFun": 1922, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 1923, "·": 1924, "compl": 1925, "45": 1926, "49": 1927, "count": 1928, "Unital": 1929, "iSup": 1930, "âĤIJ": 1931, "elim": 1932, "Ġinter": 1933, "Ġmorphism": 1934, "MonoidHom": 1935, "Func": 1936, "Ġ(âĪĥ": 1937, "gcd": 1938, "Ioo": 1939, "tail": 1940, "Ha": 1941, "atTop": 1942, "Ġpullback": 1943, "ace": 1944, "Ġinsert": 1945, "âĢĸâĤĬ": 1946, "rier": 1947, "Ġgrind": 1948, "Mk": 1949, "ee": 1950, "ifferentiable": 1951, "Ġcf": 1952, "This": 1953, "onic": 1954, "Ġsupport": 1955, ")}": 1956, "hv": 1957, "ract": 1958, "ĠAn": 1959, "Independent": 1960, "kernel": 1961, "duced": 1962, "ĠSeminormed": 1963, "47": 1964, "ĠFalse": 1965, "den": 1966, "nerProduct": 1967, "erior": 1968, "Ġ..": 1969, "quot": 1970, "tic": 1971, "poly": 1972, "];": 1973, "und": 1974, "ource": 1975, "38": 1976, "ug": 1977, "prime": 1978, "oprime": 1979, "lassical": 1980, "'s": 1981, "Ġgroup": 1982, "Ġhz": 1983, "ĠFunctor": 1984, "For": 1985, "Ġbetween": 1986, "09": 1987, "Ġhk": 1988, "ĠCategoryTheory": 1989, "ctx": 1990, "enter": 1991, "mt": 1992, "Ġtl": 1993, "Decidable": 1994, "ĠIcc": 1995, "ote": 1996, "otal": 1997, "Local": 1998, "Îĵ": 1999, "Multilinear": 2000, "ofNat": 2001, "Fraction": 2002, "nerProductSpace": 2003, "Ġinduction": 2004, "Ġsets": 2005, "nonempty": 2006, "Lattice": 2007, "date": 2008, "Complete": 2009, "det": 2010, "Property": 2011, "cated": 2012, "Ġih": 2013, "Divis": 2014, "ĠContDiff": 2015, "06": 2016, "eomorph": 2017, "Ġtrans": 2018, "ĠSubgroup": 2019, "Ġ!": 2020, "alc": 2021, "Ġlog": 2022, "rev": 2023, "ĠisLt": 2024, "η": 2025, "sult": 2026, "partition": 2027, "Pos": 2028, "Sheaf": 2029, "jection": 2030, "Ġhu": 2031, "Ġ⣨⣨": 2032, "hz": 2033, "Star": 2034, "Ġhj": 2035, "Ġcomple": 2036, "Ġcases": 2037, "orelSpace": 2038, "egular": 2039, "MulAction": 2040, "Ġnil": 2041, "curry": 2042, "ructor": 2043, "swap": 2044, "ĠThis": 2045, "áµ¢": 2046, "Sy": 2047, "induction": 2048, "Dimensional": 2049, "Ġform": 2050, "ias": 2051, "sOf": 2052, "arg": 2053, "ci": 2054, "Ġ_⣩": 2055, "oned": 2056, "We": 2057, "Ġproduct": 2058, "ead": 2059, "oneda": 2060, "ank": 2061, "ĠQuotient": 2062, "ĠBasis": 2063, "Ġintegral": 2064, "urn": 2065, "natDegree": 2066, "Partial": 2067, "Ġball": 2068, "Ġdefinition": 2069, "Free": 2070, "Ġθ": 2071, "ushout": 2072, "ĠinferInstance": 2073, "Ïģ": 2074, "mod": 2075, "Ioc": 2076, "Ico": 2077, "ĠAr": 2078, "05": 2079, "Ġmin": 2080, "here": 2081, "sem": 2082, "Separ": 2083, "Ġadj": 2084, "Subgroup": 2085, "roth": 2086, "ĠPrim": 2087, "Ġed": 2088, "measure": 2089, "Ġlt": 2090, "hk": 2091, "Ġâ§": 2092, "are": 2093, "ĠÏĪ": 2094, "cod": 2095, "Ġrwa": 2096, "Tactic": 2097, "head": 2098, "incip": 2099, "Binary": 2100, "dec": 2101, "ability": 2102, "ĠnatDegree": 2103, "07": 2104, "Ġany": 2105, "with": 2106, "Inv": 2107, "lower": 2108, "ĠSubmonoid": 2109, "Ġ[âĪĢ": 2110, "ices": 2111, "indicator": 2112, "variant": 2113, "Ġ(âĪij": 2114, "ĠMvPolynomial": 2115, "endie": 2116, "rothendie": 2117, "rothendieck": 2118, "ĠIsDomain": 2119, "ia": 2120, "toLinearMap": 2121, "ading": 2122, "Ġ⧸": 2123, "actorization": 2124, "Adj": 2125, "nn": 2126, "Spec": 2127, "ĠEquiv": 2128, "Ġinl": 2129, "202": 2130, "Ġlimit": 2131, "ĠAffine": 2132, "Mem": 2133, "Homeomorph": 2134, "Object": 2135, "FiniteMeasure": 2136, "Ġdiv": 2137, "Ġcategory": 2138, "ombin": 2139, "ther": 2140, "Kernel": 2141, "ution": 2142, "Char": 2143, "Strict": 2144, "irst": 2145, "Submonoid": 2146, "ĠInter": 2147, "rox": 2148, "*)": 2149, "Ġconvert": 2150, "DerivAt": 2151, "arrows": 2152, "owerSeries": 2153, "Ġ(.": 2154, "ited": 2155, "use": 2156, "ox": 2157, "rt": 2158, "expose": 2159, "isymm": 2160, "By": 2161, "mpty": 2162, "Ad": 2163, "str": 2164, "also": 2165, "56": 2166, "star": 2167, "measurable": 2168, "¹¹": 2169, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 2170, "structure": 2171, "ĠÎĽ": 2172, "ĠFreeCommRing": 2173, "Distrib": 2174, "Support": 2175, "ĠNon": 2176, "ĠOrdered": 2177, "ĠWith": 2178, "Ġpow": 2179, "Ġrel": 2180, "Ġ(·": 2181, "Ġmeasurable": 2182, "Ġen": 2183, "Tri": 2184, "Ġsubset": 2185, "ĠUniformSpace": 2186, "closedBall": 2187, "gt": 2188, "precated": 2189, "hq": 2190, "ĠVector": 2191, "Ġsuch": 2192, "coped": 2193, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 2194, "egrable": 2195, "Ġsize": 2196, "âĤĤâĤĥ": 2197, "Ġpart": 2198, "AlgHom": 2199, "habited": 2200, "usion": 2201, "Ġits": 2202, "Scalars": 2203, "Ġcmp": 2204, "ĠIsP": 2205, "79": 2206, "bi": 2207, "rpow": 2208, "RingTheory": 2209, "per": 2210, "Ġshow": 2211, "Multiset": 2212, "Ġpublic": 2213, "clusion": 2214, "ĠBorelSpace": 2215, "ĠContinuousOn": 2216, "lex": 2217, "IH": 2218, "adingCoeff": 2219, "Ġtendsto": 2220, "ĠProd": 2221, "iates": 2222, "ach": 2223, "dis": 2224, "Ġnum": 2225, "hisker": 2226, "Rat": 2227, "08": 2228, "Ġmp": 2229, "arget": 2230, "gener": 2231, "Ġhv": 2232, "ult": 2233, "Ġret": 2234, "Ġmatch": 2235, "Perm": 2236, "basis": 2237, "ĠPolynomial": 2238, "ĠIsScalarTower": 2239, "ĠCáµĴáµĸ": 2240, "â¦Ħ,": 2241, "alize": 2242, "Integrable": 2243, "``": 2244, "Ġsingle": 2245, "ĠInnerProductSpace": 2246, "omorphic": 2247, "ffices": 2248, "Ġhab": 2249, "ðĿĵ": 2250, "MDiff": 2251, "igroup": 2252, "Empty": 2253, "Regular": 2254, "Ġinner": 2255, "Ġalso": 2256, "quotient": 2257, "Ġequal": 2258, "mmable": 2259, "Image": 2260, "Family": 2261, "fix": 2262, "tf": 2263, "incipal": 2264, "Sh": 2265, "irected": 2266, "Ġ(âĭĥ": 2267, "Spectrum": 2268, "ven": 2269, "Ġmpr": 2270, "since": 2271, "ĠPerm": 2272, "reverse": 2273, "ĠSimpleGraph": 2274, "olum": 2275, "dition": 2276, "antisymm": 2277, "ĠPi": 2278, "bind": 2279, "2026": 2280, "Tors": 2281, "Ġ},": 2282, "ĠIsCompact": 2283, "ĠDifferentiable": 2284, "59": 2285, "MeasureTheory": 2286, "ircle": 2287, "chem": 2288, "ĠComplex": 2289, "ĠFact": 2290, "real": 2291, "Ġrestrict": 2292, "pper": 2293, "ensity": 2294, "ĠPrime": 2295, "urality": 2296, "^[": 2297, "nder": 2298, "ĠStructure": 2299, "FDerivAt": 2300, "ĠIsUnit": 2301, "size": 2302, "From": 2303, "otopy": 2304, "econd": 2305, "'}": 2306, "ou": 2307, "AddCommMonoid": 2308, "ĠAssoc": 2309, "Ġwhen": 2310, "onomial": 2311, "atedFDeriv": 2312, "Ġfinrank": 2313, "CommMonoid": 2314, "ĠIH": 2315, "Ġversion": 2316, "Ġass": 2317, "69": 2318, "Ġctx": 2319, "sion": 2320, "Ġhe": 2321, "deprecated": 2322, "lin": 2323, "âĤĻ": 2324, "itt": 2325, "ault": 2326, "57": 2327, "form": 2328, "ivity": 2329, "present": 2330, "ish": 2331, "cover": 2332, "Term": 2333, "Over": 2334, "ĠâĬķ": 2335, "ĠPseudo": 2336, "fold": 2337, "extend": 2338, "Ġmultiplic": 2339, "ĠSeminormedAddCommGroup": 2340, "fg": 2341, "Ġfunctions": 2342, "rreducible": 2343, "Homology": 2344, "elf": 2345, "ĠâĨĴ*": 2346, "meas": 2347, "degree": 2348, "ream": 2349, "ĠðĿĴľ": 2350, "Element": 2351, "Affine": 2352, "'))": 2353, "Ġreturn": 2354, "Ġâī¥": 2355, "ĠUnit": 2356, "base": 2357, "âĨij(": 2358, "ess": 2359, "hU": 2360, "disjoint": 2361, "89": 2362, "Factors": 2363, "ĠPro": 2364, "ula": 2365, "âģĨ": 2366, "edi": 2367, "ðĿĴ": 2368, "44": 2369, "toFinset": 2370, "Disjoint": 2371, "Ġobject": 2372, "Ġdefine": 2373, "Divisors": 2374, "Ġresult": 2375, "\")]": 2376, "odel": 2377, "Ġisomorphism": 2378, "Extension": 2379, "Ġfield": 2380, "Ġterm": 2381, "ĠCardinal": 2382, "olution": 2383, "ĠPos": 2384, "âĢĸ)": 2385, "olume": 2386, "ĠPair": 2387, "Ġhq": 2388, "est": 2389, "ius": 2390, "hε": 2391, "ĠMem": 2392, "rel": 2393, "Ġ~": 2394, "App": 2395, "Ġtr": 2396, "ork": 2397, "point": 2398, "Ġcomap": 2399, "cheme": 2400, "very": 2401, "Ġ·)": 2402, "Range": 2403, "par": 2404, "Ġassoc": 2405, "ĠVal": 2406, "bound": 2407, "aith": 2408, "ier": 2409, "aithful": 2410, "resieve": 2411, "alle": 2412, "aeval": 2413, "ĠUnique": 2414, "finrank": 2415, "Cofan": 2416, "Attrib": 2417, "source": 2418, "igned": 2419, "arrier": 2420, "ĠIco": 2421, "ill": 2422, "Normal": 2423, "DecidableEq": 2424, "ĠðĿĶ": 2425, "natCast": 2426, "Ġcommut": 2427, "sdiff": 2428, "ĠWe": 2429, "rothendieckTopology": 2430, "append": 2431, "Index": 2432, "Ġup": 2433, "Above": 2434, "Ġalgebra": 2435, "iagram": 2436, "hj": 2437, "Ġconstructor": 2438, "undle": 2439, "ray": 2440, "Under": 2441, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 2442, "hS": 2443, "Ġsin": 2444, "Ġhl": 2445, "desc": 2446, "..": 2447, "defeq": 2448, "Congr": 2449, "¹²": 2450, "sSup": 2451, "Restrict": 2452, "nil": 2453, "pred": 2454, "ĠNe": 2455, "66": 2456, "Ġcolimit": 2457, "Ġ?_,": 2458, "Ë£": 2459, "ĠLocally": 2460, "Ne": 2461, "Ġmonoid": 2462, "Density": 2463, "FractionRing": 2464, "hw": 2465, "orn": 2466, "MetricSpace": 2467, "Par": 2468, "castSucc": 2469, "cycle": 2470, "object": 2471, "spec": 2472, "angent": 2473, "otent": 2474, "Base": 2475, "PowerSeries": 2476, "Ġres": 2477, "erse": 2478, "OD": 2479, "Ġsuffices": 2480, "Component": 2481, "ĠWalk": 2482, "biUnion": 2483, "ĠMetricSpace": 2484, "ĠFiniteDimensional": 2485, "Ġ}),": 2486, "Surjective": 2487, "Ġ?_)": 2488, "ilin": 2489, "Convex": 2490, "brev": 2491, "adjoin": 2492, "chy": 2493, "Indep": 2494, "58": 2495, "Backward": 2496, "Ġhw": 2497, "uld": 2498, "âĤľ": 2499, "adic": 2500, "Ġgiven": 2501, "elian": 2502, "Ġ(â¨": 2503, "uard": 2504, "itial": 2505, "lock": 2506, "ĠInhabited": 2507, "ContinuousLinearMap": 2508, "imalIdeal": 2509, "Ġcalc": 2510, "eventually": 2511, "EStronglyMeasurable": 2512, "fderiv": 2513, "useBackward": 2514, "defeqAttrib": 2515, "Ġscoped": 2516, "Idx": 2517, "ĠÏģ": 2518, "ple": 2519, "ĠCommMonoid": 2520, "dep": 2521, "Adjoint": 2522, "ĠStrict": 2523, "cos": 2524, "ĠFinsupp": 2525, "Combin": 2526, "Algebraic": 2527, "ĠOpens": 2528, "ĠPreorder": 2529, "auchy": 2530, "Ġcy": 2531, "Connected": 2532, "ust": 2533, "ĠPrimrec": 2534, "rat": 2535, "ytic": 2536, "iber": 2537, "eth": 2538, "Ġsq": 2539, "Ġpure": 2540, "step": 2541, "03": 2542, "ĠChar": 2543, ">.": 2544, "Ici": 2545, "ĠBox": 2546, "thog": 2547, "Additive": 2548, "ediate": 2549, "thogonal": 2550, "unc": 2551, "Gener": 2552, "eak": 2553, "space": 2554, "Ġopen": 2555, "gs": 2556, "codable": 2557, "⣩)": 2558, "'âľĿ": 2559, "Ġ(âĪ«âģ»": 2560, "local": 2561, "ĠTopological": 2562, "itz": 2563, "unpair": 2564, "ĠQu": 2565, "Single": 2566, "dArrow": 2567, "cf": 2568, "Qu": 2569, "Ġunit": 2570, "Morphism": 2571, "Pow": 2572, "ert": 2573, "sets": 2574, "xs": 2575, "Ġstructure": 2576, "edSpace": 2577, "04": 2578, "Ġ|>.": 2579, "utation": 2580, "Vec": 2581, "ving": 2582, "Ġloc": 2583, "affine": 2584, "flect": 2585, "quare": 2586, "ĠhU": 2587, "ror": 2588, "ÏĪ": 2589, "Ġthere": 2590, "Gen": 2591, "from": 2592, "bs": 2593, "').": 2594, "find": 2595, "Change": 2596, "ick": 2597, "aux": 2598, "No": 2599, "ĠðĿķ": 2600, "ĠSMul": 2601, "ym": 2602, "ĠLinearOrder": 2603, "Ġtail": 2604, "update": 2605, "As": 2606, "nth": 2607, "Subtype": 2608, "CountableTopology": 2609, "Elements": 2610, "posite": 2611, "ĠMonotone": 2612, "ĠAEStronglyMeasurable": 2613, "Box": 2614, "Monoidal": 2615, "odup": 2616, "32": 2617, "ENNReal": 2618, "Ġmaps": 2619, "67": 2620, "HomologicalComplex": 2621, "Ġâ¨Ĩ": 2622, "Ġequivalence": 2623, "center": 2624, "ĠBounded": 2625, "ĠâĨijâĨij(": 2626, "LinearAlgebra": 2627, "68": 2628, "Ġstar": 2629, "naturality": 2630, "ignedMeasure": 2631, "Cocone": 2632, "Subalgebra": 2633, "Pairwise": 2634, "iteratedFDeriv": 2635, "Sq": 2636, "Option": 2637, "ĠâĪ«âģ»": 2638, "Ġ-/]": 2639, "inner": 2640, "hC": 2641, "reassoc": 2642, "Ġvari": 2643, "alytic": 2644, "ost": 2645, "connected": 2646, "Ġ}.": 2647, "Ġchange": 2648, "Number": 2649, "âĢ": 2650, "ale": 2651, "EMeasurable": 2652, "licial": 2653, "âĮ": 2654, "Ġsplit": 2655, "Compl": 2656, "ĠInjective": 2657, "Iic": 2658, "asi": 2659, "erf": 2660, "End": 2661, "Ġindex": 2662, "ĠIsLocalization": 2663, "ĠâĪŀ": 2664, "ĠMain": 2665, "ann": 2666, "whisker": 2667, "Vector": 2668, "Ġedist": 2669, "ms": 2670, "Ġmodule": 2671, "icontinuous": 2672, "Big": 2673, "ĠOr": 2674, "rivate": 2675, "###": 2676, "ĠâĬĹ[": 2677, "Ġadditive": 2678, "MeasurableSpace": 2679, "Ġ({": 2680, "Stmt": 2681, "Quot": 2682, "hB": 2683, "place": 2684, "ĠÏķ": 2685, "ĠConvex": 2686, "sch": 2687, "Exp": 2688, "tribute": 2689, "ĠhS": 2690, ")âĢĸ": 2691, "Min": 2692, "Ġpreserves": 2693, "ify": 2694, "och": 2695, "linder": 2696, "ĠSigma": 2697, "itivity": 2698, "true": 2699, "ably": 2700, "own": 2701, "ĠPresieve": 2702, "Ġinterior": 2703, "Mv": 2704, "Ġcontain": 2705, "'`": 2706, "isOpen": 2707, "Ïī": 2708, "iated": 2709, "Ġevery": 2710, "ps": 2711, "tensor": 2712, "finset": 2713, "class": 2714, "Fn": 2715, "uage": 2716, "anguage": 2717, "tom": 2718, "bability": 2719, "ζ": 2720, "))).": 2721, "88": 2722, "Ġiso": 2723, "Ge": 2724, "Inverse": 2725, "Ġdefault": 2726, "Ġlia": 2727, "Ġdet": 2728, "ends": 2729, "ĠLinearOrderedField": 2730, "ĠâĨij{": 2731, "OfElements": 2732, "Haus": 2733, "ducing": 2734, "aw": 2735, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 2736, "âľĿ,": 2737, "ternat": 2738, "cess": 2739, "22": 2740, "ĠGiven": 2741, "Ġcg": 2742, "ĠIsS": 2743, "ComplexShape": 2744, "Lie": 2745, "Ġhij": 2746, "ĠCover": 2747, "ĠâĨij(âĨij(": 2748, "ĠâĭĤ": 2749, "ĠPairwise": 2750, "inverse": 2751, "ied": 2752, "ĠIsR": 2753, "alg": 2754, "equence": 2755, "Ġdec": 2756, "last": 2757, "equalizer": 2758, "ĠFor": 2759, "arith": 2760, "Ġhxy": 2761, "atible": 2762, "erian": 2763, "etherian": 2764, "Ġroot": 2765, "Ġelements": 2766, "LinearOrder": 2767, "ĠAEMeasurable": 2768, "Ġ(#": 2769, "sOfShape": 2770, "Ġiter": 2771, "ting": 2772, "Ġsymm": 2773, ")`.": 2774, "private": 2775, "ating": 2776, "leadingCoeff": 2777, "ĠPreserves": 2778, "ediateField": 2779, "itone": 2780, "Ġem": 2781, "Sigma": 2782, "âĦķ": 2783, "atis": 2784, "Ġbut": 2785, "CommSemiring": 2786, "Shift": 2787, "Isometry": 2788, "Ġuniform": 2789, "atisf": 2790, "var": 2791, "Ġsame": 2792, "alent": 2793, "eriod": 2794, "moo": 2795, "code": 2796, "ould": 2797, "domain": 2798, "ĠhI": 2799, "mooth": 2800, "hA": 2801, "Ġden": 2802, "cket": 2803, "Equivalence": 2804, "natAbs": 2805, "Iio": 2806, "Ġso": 2807, "âĤĽâĤĹ": 2808, "ĠRel": 2809, "TensorProduct": 2810, "ĠZero": 2811, "rincipal": 2812, "ĠalgebraMap": 2813, "ipsch": 2814, "iInf": 2815, "tfae": 2816, "ents": 2817, "Ġobj": 2818, "Ġind": 2819, "Formula": 2820, "33": 2821, "Path": 2822, "alance": 2823, "ellF": 2824, "ĠPosNum": 2825, "graph": 2826, "uniform": 2827, "ided": 2828, "Ġcor": 2829, "Th": 2830, "Len": 2831, "struct": 2832, "Ġforget": 2833, "Ġinto": 2834, "Bound": 2835, "ipschitz": 2836, "Size": 2837, "Ġclosed": 2838, "ink": 2839, "],": 2840, "Preserves": 2841, "ning": 2842, "its": 2843, "integrable": 2844, "Ġâīª": 2845, "Ġ(((": 2846, "64": 2847, "PartialOrder": 2848, "ĠâĹ": 2849, "ĠCompact": 2850, "alias": 2851, "99": 2852, "Ïķ": 2853, "mediateField": 2854, "ĠGrothendieckTopology": 2855, "hxy": 2856, "Torsor": 2857, "riangle": 2858, "imitive": 2859, "otive": 2860, "erfect": 2861, "Res": 2862, "sTo": 2863, "ĠSu": 2864, "hI": 2865, "unction": 2866, "verg": 2867, "Prepartition": 2868, "ĠâĨijâĢĸ": 2869, "Mon": 2870, "lem": 2871, "loc": 2872, "ĠâĬ¢": 2873, "shift": 2874, "ivision": 2875, "DistribMulAction": 2876, "iproduct": 2877, "imed": 2878, "hF": 2879, "Ġsnorm": 2880, "chimed": 2881, "chimedean": 2882, "toAdd": 2883, "Ġcount": 2884, "monomial": 2885, "ĠContDiffOn": 2886, "inorm": 2887, "Subsem": 2888, "MultilinearSeries": 2889, "Ġarg": 2890, "factor": 2891, "nnnorm": 2892, "Ġhomomorphism": 2893, "race": 2894, "Ġnatural": 2895, "ĠNonUnital": 2896, "Ġabv": 2897, "Ġdisjoint": 2898, "ov": 2899, "ĠIoi": 2900, "ĠAssociates": 2901, "Topological": 2902, "ĠMetric": 2903, "restrictScalars": 2904, "ific": 2905, "OrC": 2906, "Ġproof": 2907, "]`": 2908, "eous": 2909, "θ": 2910, "repr": 2911, "flip": 2912, "ogen": 2913, "Ġâģħ": 2914, "stem": 2915, "ĠsSup": 2916, "zpow": 2917, "edge": 2918, "'),": 2919, "her": 2920, "Ġchar": 2921, "unique": 2922, "ĠâĪī": 2923, "CommClass": 2924, "raded": 2925, "econdCountableTopology": 2926, "$>": 2927, "IsScalarTower": 2928, "conj": 2929, "gle": 2930, "Ġprove": 2931, "ellFounded": 2932, "¹³": 2933, "ĠhP": 2934, "idiagonal": 2935, "Ġcos": 2936, "âĦĴ": 2937, "drop": 2938, "loor": 2939, "Ġkernel": 2940, "basic": 2941, "esop": 2942, "vertible": 2943, "yoneda": 2944, "Node": 2945, "phere": 2946, "ĠClassical": 2947, "Ġbound": 2948, "ĠHomologicalComplex": 2949, "acter": 2950, "Constant": 2951, "presheaf": 2952, "Ġbi": 2953, "Cancel": 2954, "NonUnital": 2955, "($": 2956, "Ġpi": 2957, "Ġdiff": 2958, "âī«": 2959, "ometric": 2960, "clo": 2961, "ĠhT": 2962, "Ġstep": 2963, "hM": 2964, "simpa": 2965, "hT": 2966, "gen": 2967, "'⣩": 2968, "wards": 2969, "let": 2970, "jOn": 2971, "Ġmod": 2972, "Ġeach": 2973, "ZeroDivisors": 2974, "false": 2975, "entral": 2976, "aus": 2977, "ĠIsIso": 2978, "ixed": 2979, "field": 2980, "Ġbasis": 2981, "BinaryCofan": 2982, "Ġclassical": 2983, "ĠEq": 2984, "FunLike": 2985, "ĠJo": 2986, "attribute": 2987, "ĠIsD": 2988, "tw": 2989, "eromorphic": 2990, "Pl": 2991, "ler": 2992, "Ġgcd": 2993, "ĠPartial": 2994, "Ω": 2995, "SignedMeasure": 2996, "Ant": 2997, "ĠIsROrC": 2998, "ĠQuot": 2999, "universe": 3000, "onical": 3001, "ContinuousLinearEquiv": 3002, "NormedSpace": 3003, "ë": 3004, "closed": 3005, "78": 3006, "proj": 3007, "ugh": 3008, "ged": 3009, "Ġad": 3010, "differentiable": 3011, "ĠIsLocally": 3012, "Ġvolume": 3013, "ogeneous": 3014, "En": 3015, "Ġfirst": 3016, "Ġpolynomial": 3017, "ĠWSeq": 3018, "Factorization": 3019, "iteratedFDerivWithin": 3020, "Div": 3021, "target": 3022, "FDerivWithinAt": 3023, "abbrev": 3024, "Ġvector": 3025, "seq": 3026, "Var": 3027, "ĠÎĶ": 3028, "ĠTag": 3029, "sqrt": 3030, "âĦĴp": 3031, "colimit": 3032, "Ġdefined": 3033, "ĠLieRing": 3034, "ators": 3035, "'t": 3036, "split": 3037, "65": 3038, "ois": 3039, "name": 3040, "LimitsOf": 3041, "Ġfamily": 3042, "hN": 3043, "hfg": 3044, "Param": 3045, "ĠIsLimit": 3046, "hμ": 3047, "ĠGu": 3048, "lab": 3049, "generate": 3050, "âĬ¤": 3051, "Cycle": 3052, "ĠhC": 3053, "ĠMono": 3054, ")⣩": 3055, "))))": 3056, "types": 3057, "ĠHasDerivAt": 3058, "Nontrivial": 3059, "Ġlim": 3060, "Lex": 3061, "Ġâĩ": 3062, "ĠIoc": 3063, "ighb": 3064, "Ġlower": 3065, "Ġbo": 3066, "ĠLe": 3067, "Ġspec": 3068, "ochain": 3069, "Sets": 3070, "oproduct": 3071, "Ġcast": 3072, "ĠFormal": 3073, "Ġforall": 3074, "sInf": 3075, "Small": 3076, "ternating": 3077, "icken": 3078, "ude": 3079, "interior": 3080, "Ġtrivial": 3081, "Mathlib": 3082, "char": 3083, "ĠIntegrableOn": 3084, "Presheaf": 3085, "Ġhε": 3086, "Value": 3087, "ics": 3088, "Chart": 3089, "iver": 3090, "]]": 3091, "Ġreal": 3092, "ĠSmall": 3093, "ToHom": 3094, "ration": 3095, "go": 3096, "Ġaffine": 3097, "ĠLocal": 3098, "Structure": 3099, "Geometry": 3100, "ĠNo": 3101, "Ġtopological": 3102, "SimpleFunc": 3103, "Ġ(âĨIJ": 3104, "⣧": 3105, "ColimitsOfShape": 3106, "ses": 3107, "sigma": 3108, "rn": 3109, "implicial": 3110, "hR": 3111, "Sieve": 3112, "Ġpair": 3113, "AddMonoid": 3114, "Ġ[(": 3115, "ĠIso": 3116, "approx": 3117, "Ġ(âĨijâĨij": 3118, "Ġcylinder": 3119, "Up": 3120, "alois": 3121, "Cl": 3122, "ux": 3123, "ĠWalking": 3124, "Maximal": 3125, "Ġvar": 3126, "guard": 3127, "Ġgcongr": 3128, "CommMonoidWithZero": 3129, "¬Ŀ": 3130, "Ġtensor": 3131, "match": 3132, "isUnit": 3133, "98": 3134, "ĠArray": 3135, "isClosed": 3136, "notMem": 3137, "ĠΦ": 3138, "upwards": 3139, "ĠFormalMultilinearSeries": 3140, "ĠâĨª": 3141, "Ġiff": 3142, "62": 3143, "ives": 3144, "Ġinduced": 3145, "ĠLift": 3146, "Ġâ¬Ŀ": 3147, "toList": 3148, "hK": 3149, "Ġcompact": 3150, "Ġ(âĢĸ": 3151, "Ġbot": 3152, "Metric": 3153, "âĭ": 3154, "Ġhead": 3155, "ĠIntermediateField": 3156, "¹âģ´": 3157, "ĠCommute": 3158, "Noetherian": 3159, "ighted": 3160, "tomic": 3161, "ĠLean": 3162, "ĠNNReal": 3163, "ĠOrdnode": 3164, "Preorder": 3165, "irection": 3166, "ĠDivision": 3167, "Ġout": 3168, "ĠEu": 3169, "Ġreplace": 3170, "Filtered": 3171, "homology": 3172, "Ġsatisf": 3173, "ĠContinuousLinearMap": 3174, "âĤģâĤĥ": 3175, "Combination": 3176, "Ġap": 3177, "reserving": 3178, "clotomic": 3179, "Ġdoes": 3180, "Ġresults": 3181, "wr": 3182, "mmas": 3183, "ĠPath": 3184, "ĠNorm": 3185, "sign": 3186, "ĠScheme": 3187, "Simplex": 3188, "ĠFu": 3189, "ĠIsIntegral": 3190, "Ġalias": 3191, "ĠTopologicalAddGroup": 3192, "hen": 3193, "ĠNormedField": 3194, "DerivWithinAt": 3195, "dom": 3196, "Discrete": 3197, "Ġused": 3198, "complex": 3199, "composition": 3200, "IsP": 3201, "aco": 3202, "ĠDense": 3203, "ĠSecondCountableTopology": 3204, "Ġdata": 3205, "tiplicity": 3206, "BigO": 3207, "77": 3208, "ĠLanguage": 3209, "Inducing": 3210, "Ġsy": 3211, "clude": 3212, "Ġinverse": 3213, "ĠâĪij'": 3214, "ĠðĿĵ¤": 3215, "basicOpen": 3216, "hV": 3217, "ĠiSup": 3218, "Epi": 3219, "Ġpositivity": 3220, "lintegral": 3221, "olute": 3222, "Ġident": 3223, "Ġnonempty": 3224, "Ġdis": 3225, "oprod": 3226, "induced": 3227, "SL": 3228, "ĠAlg": 3229, "Equ": 3230, "obtain": 3231, "take": 3232, "separ": 3233, "ash": 3234, "resp": 3235, "adrat": 3236, "fr": 3237, "coprime": 3238, "NonAssoc": 3239, "ickening": 3240, "Cardinal": 3241, "vel": 3242, "Ġtopology": 3243, "adratic": 3244, "lor": 3245, "Ġbase": 3246, "Ġlr": 3247, "Faithful": 3248, "rcases": 3249, "Ġbs": 3250, "iam": 3251, "Φ": 3252, "tiplicative": 3253, "Ġcomplex": 3254, "Separable": 3255, "Ġpower": 3256, "]⣩": 3257, "Ġlemmas": 3258, "ek": 3259, "ĠNodup": 3260, "toMatrix": 3261, "Subobject": 3262, "parts": 3263, "Ġderivative": 3264, "Ġthan": 3265, "Lin": 3266, "rintro": 3267, "ĠSieve": 3268, "MultilinearMap": 3269, "rimitive": 3270, "hP": 3271, "Ġâ¨ħ": 3272, "Ġtactic": 3273, "Ġ⣨(": 3274, "Ġlinter": 3275, "ĠLinearIndependent": 3276, "Ġmorphisms": 3277, "ĠSee": 3278, "cone": 3279, "Ġcommutative": 3280, "ĠCancel": 3281, "rior": 3282, "System": 3283, "countable": 3284, "Defs": 3285, "Ġspaces": 3286, "Ġnotation": 3287, "sump": 3288, "ulus": 3289, "total": 3290, "Ġrl": 3291, "Nth": 3292, "toNNReal": 3293, "ression": 3294, "âĢº": 3295, "sumption": 3296, "Ġrr": 3297, "Triple": 3298, "erset": 3299, "ĠRB": 3300, "ape": 3301, "due": 3302, "Homotopy": 3303, "ĠDiscrete": 3304, "inclusion": 3305, "ĠIrreducible": 3306, "Ġvalue": 3307, "ail": 3308, "hÏĨ": 3309, "De": 3310, "ak": 3311, "conts": 3312, "ĠIff": 3313, "ighbor": 3314, "Ġpar": 3315, "potent": 3316, "ospan": 3317, "Ġextension": 3318, "Singleton": 3319, "Str": 3320, "ison": 3321, "derivative": 3322, "Oper": 3323, "ODO": 3324, "disch": 3325, "ollow": 3326, "Ġtop": 3327, "LpNorm": 3328, "Prop": 3329, "monotone": 3330, "áµĩ": 3331, "Ġ5": 3332, "gedPrepartition": 3333, "hδ": 3334, "iece": 3335, "ZMod": 3336, "ĠEReal": 3337, "nhdsWithin": 3338, "free": 3339, "ĠOne": 3340, "msgs": 3341, "ĠTM": 3342, "ĠIsLocallyFiniteMeasure": 3343, "Ġnth": 3344, "Ġ[[": 3345, "tsum": 3346, "ĠIsColimit": 3347, "ilinForm": 3348, "Ġother": 3349, "alanced": 3350, "lopen": 3351, "He": 3352, "ĠStream": 3353, "iecewise": 3354, "perm": 3355, "Ġstrict": 3356, "ĠSetLike": 3357, "ĠinvFun": 3358, "allel": 3359, "Ind": 3360, "Ġbounded": 3361, "Ġpred": 3362, "Ġpreimage": 3363, "Ġ(@": 3364, "Ġll": 3365, "Opposite": 3366, "Ġdefinitions": 3367, "AlgEquiv": 3368, "LM": 3369, "Grp": 3370, "**": 3371, "Exact": 3372, "Ġ'": 3373, "Ġζ": 3374, "Ġke": 3375, "lie": 3376, "Ġaesop": 3377, "unctor": 3378, "ugate": 3379, "lat": 3380, "ĠSup": 3381, "withDensity": 3382, "43": 3383, "ĠIsFractionRing": 3384, "ĠAddMonoid": 3385, "auss": 3386, "ÎĽ": 3387, "Ġ(âĪı": 3388, "ph": 3389, "riority": 3390, "Ġqu": 3391, "join": 3392, "OfLE": 3393, "move": 3394, "tl": 3395, "Ġquotient": 3396, "ĠPseudoMetricSpace": 3397, "Ġcol": 3398, "minpoly": 3399, "lying": 3400, "ĠâĢ¹": 3401, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 3402, "bounded": 3403, "thon": 3404, "ĠMorphism": 3405, "ĠStronglyMeasurable": 3406, "Ġ_))": 3407, "ël": 3408, "rot": 3409, "Probability": 3410, "rnDeriv": 3411, "show": 3412, "MvPolynomial": 3413, "ĠhA": 3414, "IsometryEquiv": 3415, "Ġfollow": 3416, "ĠâĬ¤)": 3417, "icient": 3418, "Ġnumber": 3419, "respon": 3420, "Ġrespect": 3421, "thonormal": 3422, "rafilter": 3423, "convex": 3424, "Ġcat": 3425, "Units": 3426, "OrderHom": 3427, "ĠPerfect": 3428, "ĠOrdering": 3429, "ĠAdj": 3430, "Kan": 3431, "Ġupper": 3432, "NormedAddCommGroup": 3433, "Ġneed": 3434, "Ġ###": 3435, "Ġcondition": 3436, "Expr": 3437, "Ġupdate": 3438, "Ġcover": 3439, "Completion": 3440, "Ġite": 3441, "Locus": 3442, "ĠisOpen": 3443, "utations": 3444, "ega": 3445, "ĠMonic": 3446, "ĠAnt": 3447, "uncurry": 3448, "uter": 3449, "ĠâĦµ": 3450, "Ġ<$>": 3451, "Ġâīªâī«": 3452, "Subspace": 3453, "Ġ![": 3454, "epi": 3455, "roid": 3456, "Walk": 3457, "ĠZMod": 3458, "carrier": 3459, "edek": 3460, "orners": 3461, "edekind": 3462, "Generated": 3463, "rap": 3464, "ĠInterval": 3465, "95": 3466, "Ġconstant": 3467, "amilyOfElements": 3468, "ilattice": 3469, "âĪŀ)": 3470, "dor": 3471, "Ġaction": 3472, "dorff": 3473, "ĠhV": 3474, "Pt": 3475, "Supp": 3476, "clide": 3477, "clidean": 3478, "Uniformly": 3479, "bers": 3480, "ĠSubsingleton": 3481, "creteCategory": 3482, "ĠofReal": 3483, "way": 3484, "Name": 3485, "```": 3486, "iator": 3487, "alizedFactors": 3488, "ĠMorphismProperty": 3489, "Core": 3490, "ental": 3491, "ause": 3492, "ContinuousMap": 3493, "ĠFamilyOfElements": 3494, "ourier": 3495, "Ġâĩij": 3496, "75": 3497, "ued": 3498, "ĠExpr": 3499, "Ġker": 3500, "down": 3501, "Nil": 3502, "distrib": 3503, "pure": 3504, "Ġhμ": 3505, "Present": 3506, "ĠDirected": 3507, "idue": 3508, "ddAbove": 3509, "Ġpoints": 3510, "ĠMemâĦĴp": 3511, "Ġbit": 3512, "ĠStr": 3513, "ok": 3514, "WithC": 3515, "Ġconv": 3516, "ĠSummable": 3517, "Ġextend": 3518, "ĠCancelCommMonoidWithZero": 3519, "ĠCof": 3520, "ĠâĢĸâĨij": 3521, "EMetricSpace": 3522, "rail": 3523, "submodule": 3524, "ategor": 3525, "Ġabout": 3526, "é": 3527, "Ġindicator": 3528, "omorphisms": 3529, "_[": 3530, "isker": 3531, "Ġwhisker": 3532, "Haar": 3533, "Ġoper": 3534, "Two": 3535, "icate": 3536, "Projection": 3537, "flects": 3538, "isS": 3539, "ĠMonoidal": 3540, "ĠSubalgebra": 3541, "⣦": 3542, "Last": 3543, "Ġsequence": 3544, "Ġempty": 3545, "Pushout": 3546, "85": 3547, "Ġdecl": 3548, "Ġprov": 3549, "list": 3550, "upper": 3551, "ĠStar": 3552, "CLM": 3553, "ĠNormal": 3554, "ĠHasFDerivAt": 3555, "Ġnode": 3556, "Ġim": 3557, "alizedModule": 3558, "Ġpath": 3559, "UpTo": 3560, "Ġswap": 3561, "Ġcfc": 3562, "CD": 3563, "Ġchoose": 3564, "Ġ((âĨij": 3565, "fs": 3566, "ltrafilter": 3567, "Ġself": 3568, "Prim": 3569, "data": 3570, "Ġbif": 3571, "Ġassumption": 3572, "LimitsOfShape": 3573, "iou": 3574, "Lem": 3575, "equal": 3576, "ĠhJ": 3577, "76": 3578, "Meas": 3579, "Ġcancel": 3580, "ĠComputation": 3581, "Bi": 3582, "`)": 3583, "Ġproper": 3584, "ĠCountable": 3585, "Ġls": 3586, "thickening": 3587, "Ġnhds": 3588, "ruction": 3589, "Ġconvex": 3590, "Ġcorrespon": 3591, "compact": 3592, "ĠSmallCategory": 3593, "If": 3594, "ĠmaximalIdeal": 3595, "Ġ_),": 3596, "ĠSimpleFunc": 3597, "ĠHasSum": 3598, "jes": 3599, "TM": 3600, "tjes": 3601, "ĠPreadditive": 3602, "Ïĩ": 3603, "ĠhF": 3604, "Subsingleton": 3605, "Neg": 3606, "ĠCone": 3607, "Ġno": 3608, "subsingleton": 3609, "Factor": 3610, "Chain": 3611, "ĠGener": 3612, "ĠBilinForm": 3613, "Valuation": 3614, "Dom": 3615, "Bl": 3616, "Ġsem": 3617, "ĠâĦ±": 3618, "ĠPartialOrder": 3619, "Ġline": 3620, "ĠhK": 3621, "¹âģµ": 3622, "ĠLimit": 3623, "edu": 3624, "implicialObject": 3625, "ĠNum": 3626, "line": 3627, "Ġ**": 3628, "ortComplex": 3629, "ðĿĴľ": 3630, "Ordnode": 3631, "Ġequivalent": 3632, "Ġlocally": 3633, "Ġdecide": 3634, "coc": 3635, "ĠMulAction": 3636, "Ġprime": 3637, "ĠStd": 3638, "Ġinjective": 3639, "vergence": 3640, "Ġ__": 3641, "Ġcontinu": 3642, "anif": 3643, "Ġcarrier": 3644, "mmersion": 3645, "ĠContinuousSMul": 3646, "Model": 3647, "ĠhB": 3648, "Ġstr": 3649, "Ġinterval": 3650, "ĠOrderTopology": 3651, "Ġ(âĭĤ": 3652, "84": 3653, "ĠTODO": 3654, "ackage": 3655, "triv": 3656, "Sym": 3657, "ĠinferInstanceAs": 3658, "Ġappend": 3659, "//": 3660, "ĠKernel": 3661, "ĠBoundedFormula": 3662, "lete": 3663, "://": 3664, "âĪŀ}": 3665, "counit": 3666, "Interval": 3667, "OfIs": 3668, "isColimit": 3669, "Ġintegrable": 3670, "anifold": 3671, "Ġwill": 3672, "Ġae": 3673, "units": 3674, "WithCorners": 3675, "Invariant": 3676, "Morphisms": 3677, "Ġ¬(": 3678, "ĠRBNode": 3679, "fig": 3680, "GE": 3681, "pand": 3682, "mas": 3683, "Al": 3684, "Ġconj": 3685, "Ġshould": 3686, "vsub": 3687, "Ġsee": 3688, "ushf": 3689, "ushfor": 3690, "ĠMap": 3691, "Ġthese": 3692, "ĠStrictMono": 3693, "ification": 3694, "istic": 3695, "Ġsubst": 3696, "Exists": 3697, "Ġ-(": 3698, "RingEquiv": 3699, "ĠâĮ": 3700, "conv": 3701, "tps": 3702, "each": 3703, "isIso": 3704, "cycles": 3705, "Ġmonotone": 3706, "ĠWithTop": 3707, "isLimit": 3708, "Special": 3709, "}}": 3710, "Ġsubgroup": 3711, "DiffOn": 3712, "ushforward": 3713, "ically": 3714, "ice": 3715, "vec": 3716, "Central": 3717, "ĠuF": 3718, "74": 3719, "ifs": 3720, "maximalIdeal": 3721, "Ġconstruct": 3722, "orthogonal": 3723, "lope": 3724, "bijective": 3725, "Package": 3726, "ood": 3727, "ModuleCat": 3728, "ĠðĿĶ¸": 3729, "Types": 3730, "UniformSpace": 3731, "âĪij": 3732, "Ġsepar": 3733, "Ġmotive": 3734, "ĠÏĩ": 3735, "Conj": 3736, "aro": 3737, "ðĿĶ": 3738, "Ġalong": 3739, "Calc": 3740, "PosNum": 3741, "Ġunion": 3742, "hal": 3743, "tsub": 3744, "otangent": 3745, "ĠLieAlgebra": 3746, "Ġvariable": 3747, "toNat": 3748, "Ġreg": 3749, "ecause": 3750, "ĠVectorMeasure": 3751, "contra": 3752, "Ġpartial": 3753, "Ġdomain": 3754, "plicate": 3755, "Ġseries": 3756, "any": 3757, "Calculus": 3758, "ues": 3759, "Ġpr": 3760, "ĠuG": 3761, "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ": 3762, "etri": 3763, "!]": 3764, "Ġcharacter": 3765, "Ġrs": 3766, "Nhds": 3767, "NF": 3768, "Ġhfg": 3769, "ĠSigmaFinite": 3770, "eriodic": 3771, "flection": 3772, "Ġmore": 3773, "Ġargum": 3774, "nsmul": 3775, "ties": 3776, "ĠContinuousAt": 3777, "clic": 3778, "Ġgenerated": 3779, "dam": 3780, "indep": 3781, "matrix": 3782, "Ġcur": 3783, "Ġinteg": 3784, "⣫": 3785, "ableSpace": 3786, "isL": 3787, "Ġideal": 3788, "ĠPFunctor": 3789, "preserves": 3790, "Ġlist": 3791, "Nilpotent": 3792, "iterate": 3793, "ĠDecidablePred": 3794, "etic": 3795, "Ġys": 3796, "Unitor": 3797, "red": 3798, "none": 3799, "ZeroClass": 3800, "ified": 3801, "amma": 3802, "Ġspecial": 3803, "ĠSetoid": 3804, "uterMeasure": 3805, "Block": 3806, "ĠValid": 3807, "OneClass": 3808, "Ġsqrt": 3809, "Ġ20": 3810, "Ġcof": 3811, "iInter": 3812, "54": 3813, "Elem": 3814, "presentation": 3815, "aroub": 3816, "].": 3817, "hrink": 3818, "ĠWithBot": 3819, "Lim": 3820, "Tr": 3821, "ĠTensor": 3822, "aroubi": 3823, "GroupWithZero": 3824, "factors": 3825, "¹âģ¶": 3826, "ĠDivisionRing": 3827, "btw": 3828, "ĠisClosed": 3829, "stronglyMeasurable": 3830, "ĠÎł": 3831, "Ġdual": 3832, "Ġfderiv": 3833, "ĠSimplex": 3834, "Ġadjoin": 3835, "izer": 3836, "Abelian": 3837, "Ġtest": 3838, "chain": 3839, "âĤļ": 3840, "ĠuE": 3841, "âĬ¥": 3842, "IsPrime": 3843, "Ġord": 3844, "Blank": 3845, "piecewise": 3846, "01": 3847, "ofPred": 3848, "compose": 3849, "then": 3850, "ĠMonoidHom": 3851, "FactorizationMonoid": 3852, "áĹ": 3853, "ĠCauchy": 3854, "áĹ®": 3855, "Ġobjects": 3856, "deg": 3857, "Ġzpow": 3858, "ĠLeft": 3859, "TopCat": 3860, "cor": 3861, "tmul": 3862, "Ġsign": 3863, "Rec": 3864, "ĠðĿĵŁ": 3865, "ĠAffineSubspace": 3866, "roxim": 3867, "ĠIsPrime": 3868, "}))": 3869, "ts": 3870, "Ġlocal": 3871, "ĠRef": 3872, "atedDeriv": 3873, "Ġeventually": 3874, "Atom": 3875, "ĠofNat": 3876, "trunc": 3877, "etriz": 3878, "Ġlin": 3879, "hij": 3880, "Ġcomplete": 3881, "âĮĭ": 3882, "Rank": 3883, "Ġerase": 3884, "ĠhÏĨ": 3885, "Ġcomposition": 3886, "edekindDomain": 3887, "ĠRat": 3888, "teIdx": 3889, "rapose": 3890, "Col": 3891, "rc": 3892, "Semicontinuous": 3893, "Coproduct": 3894, "ĠSepar": 3895, "ĠeqToHom": 3896, "ĠProfinite": 3897, "anish": 3898, "Multi": 3899, "ĠAffineSpace": 3900, "Ġrelation": 3901, "factorization": 3902, "ĠhX": 3903, "trivial": 3904, "hne": 3905, "ĠLocalization": 3906, "FG": 3907, "ĠSurjective": 3908, "ĠExists": 3909, "ĠMon": 3910, "hJ": 3911, "dependent": 3912, "Ġrequ": 3913, "Ġinstead": 3914, "Terminal": 3915, "reates": 3916, "irc": 3917, "import": 3918, "hX": 3919, "racket": 3920, "OfNat": 3921, "ategories": 3922, "IsLimit": 3923, "Ġifp": 3924, "structuredArrow": 3925, "ĠTrue": 3926, "roots": 3927, "Ġ#[": 3928, "stri": 3929, "Ġxn": 3930, "diagonal": 3931, "fer": 3932, "tot": 3933, "where": 3934, "73": 3935, "ences": 3936, "fac": 3937, "ĠIic": 3938, "Ġboth": 3939, "Cur": 3940, "ĠHasDerivWithinAt": 3941, "undled": 3942, "GroupTheory": 3943, "Ġembedding": 3944, "cept": 3945, "Ġclass": 3946, "BaseChange": 3947, "Ġgenerate": 3948, "Ġrank": 3949, "Hull": 3950, "las": 3951, "ĠsInf": 3952, "ĠLimits": 3953, "ho": 3954, "ofHom": 3955, "ntax": 3956, "toLinearEquiv": 3957, "Ġ...": 3958, "AddTorsor": 3959, "round": 3960, "casesOn": 3961, "ites": 3962, "ĠAb": 3963, "ĠleadingCoeff": 3964, "Preserving": 3965, "Initial": 3966, "finsupp": 3967, "Biproduct": 3968, "ĠSeq": 3969, "ants": 3970, "Note": 3971, "ĠPrimeSpectrum": 3972, "Ġmultiplicity": 3973, "striction": 3974, "include": 3975, "Ġ(â¨Ĩ": 3976, "Monic": 3977, "commut": 3978, "ZeroMorphisms": 3979, "âĤĹáµ¢": 3980, "Yoneda": 3981, "ĠUnits": 3982, "Subsemigroup": 3983, "ChartAt": 3984, "See": 3985, "ĠTopology": 3986, "ĠHasFDerivWithinAt": 3987, "ĠTaggedPrepartition": 3988, "cm": 3989, "ĠMDiff": 3990, "tach": 3991, "ĠâĹģ": 3992, "Total": 3993, "ĠEn": 3994, "Symm": 3995, "âĤij": 3996, "write": 3997, "Ġlinarith": 3998, "áµĴáµĪ": 3999, "CompactSpace": 4000, "sep": 4001, "Ġunique": 4002, "Ġend": 4003, "Ġâī¡": 4004, "railing": 4005, "Ġfunext": 4006, "auto": 4007, "Preconnected": 4008, "Ġterms": 4009, "igits": 4010, "ĠorderOf": 4011, "hle": 4012, "trim": 4013, "NonAssocSemiring": 4014, "ĠWellFounded": 4015, "Ġdifferentiable": 4016, "aussian": 4017, "âĤħ": 4018, "Ġfree": 4019, "Arg": 4020, "singular": 4021, "ĠDecidableRel": 4022, "ĠCompleteLattice": 4023, "atem": 4024, "Colimits": 4025, "86": 4026, "Struct": 4027, "ĠIio": 4028, "hG": 4029, "Ġcone": 4030, "Ġgp": 4031, "thm": 4032, "Ġ(`": 4033, "nonpos": 4034, "Components": 4035, "anti": 4036, "noc": 4037, "ized": 4038, "Ġdenote": 4039, "Ġâĸ·": 4040, "Ġmultiplication": 4041, "rem": 4042, "ĠULift": 4043, "Ġcokernel": 4044, "ĠOb": 4045, "ĠTypeVec": 4046, "ĠAlgHom": 4047, "Ġts": 4048, "Ġcoefficient": 4049, "rotate": 4050, "εpos": 4051, "cof": 4052, "Ġacc": 4053, "iltered": 4054, "áµIJáµĴáµĸ": 4055, "UniformlyOn": 4056, "ĠTrans": 4057, "Bounds": 4058, "ĠUniqueFactorizationMonoid": 4059, "ĠBinary": 4060, "Functions": 4061, "MOD": 4062, "fintype": 4063, "irectSum": 4064, "ĠPrimcodable": 4065, "OrderedRing": 4066, "com": 4067, "Compatible": 4068, "alizing": 4069, "Points": 4070, "Ġpadic": 4071, "continuousOn": 4072, "Split": 4073, "ĠApp": 4074, "tjesFunction": 4075, "ĠConcreteCategory": 4076, "Lemmas": 4077, "vi": 4078, "ĠNeBot": 4079, "Ġinclusion": 4080, "Ġtypes": 4081, "Bijective": 4082, "ĠSimplicialObject": 4083, "Ġtak": 4084, "ĠletI": 4085, "âĤĤâĤģ": 4086, "Adjunction": 4087, "alIdeal": 4088, "Away": 4089, "ĠSMulCommClass": 4090, "Ġcanonical": 4091, "KanExtension": 4092, "_âĢº": 4093, "ras": 4094, "Ġthey": 4095 }, "merges": [ [ "Ġ", ":" ], [ "Ġ", "Ġ" ], [ "Ġ", "â" ], [ "i", "n" ], [ "Ġ", "(" ], [ "o", "n" ], [ "s", "t" ], [ "Ġ", "Î" ], [ "l", "e" ], [ "o", "r" ], [ "ĠĠ", "ĠĠ" ], [ "Ġâ", "Ĩ" ], [ "e", "r" ], [ "a", "l" ], [ "Ġ", "T" ], [ "â", "Ĥ" ], [ "â", "ľ" ], [ "âľ", "Ŀ" ], [ "Ġ", "a" ], [ "Ġâ", "Ī" ], [ "p", "e" ], [ "o", "m" ], [ "Ġ", "f" ], [ "Ġ", "s" ], [ "t", "h" ], [ "Ġ", "h" ], [ "Ġ", "=" ], [ "Ġ", "x" ], [ "Ġ", "i" ], [ "y", "pe" ], [ "Ġ:", "=" ], [ "a", "t" ], [ "r", "e" ], [ "s", "e" ], [ "in", "st" ], [ "c", "t" ], [ "ĠT", "ype" ], [ "u", "n" ], [ "Ġ", "b" ], [ "r", "o" ], [ "ĠĠ", "Ġ" ], [ "Ġ", "R" ], [ "-", "-" ], [ "ĠâĨ", "Ĵ" ], [ "Ġ", "M" ], [ "ĠÎ", "±" ], [ "Ġ", "S" ], [ "i", "m" ], [ "Ġ", "n" ], [ "a", "r" ], [ "Ġ", "c" ], [ "Ġ", "[" ], [ "Ġ", "F" ], [ "a", "n" ], [ "e", "n" ], [ "s", "u" ], [ "Ġ", "u" ], [ "Ġâ", "Ħ" ], [ "a", "p" ], [ "Ġ", "p" ], [ "i", "v" ], [ "e", "m" ], [ "c", "e" ], [ "i", "t" ], [ "e", "t" ], [ "i", "on" ], [ "e", "d" ], [ "Ġ", "m" ], [ "Ġ", "t" ], [ "Ġ", "C" ], [ "Ġâ", "ī" ], [ "in", "g" ], [ "Ġ", "r" ], [ "u", "l" ], [ "o", "f" ], [ "Ġ", "I" ], [ "Ġ", "{" ], [ "Ġ", "`" ], [ "i", "s" ], [ "âĤ", "Ĥ" ], [ "âĤ", "ģ" ], [ "i", "c" ], [ "a", "b" ], [ "ĠâĪ", "Ī" ], [ "ĠâĨ", "ij" ], [ "Ġ", "_" ], [ "ĠĠĠĠ", "ĠĠĠĠ" ], [ "p", "a" ], [ ")", ")" ], [ "th", "e" ], [ "Ġ", "g" ], [ "in", "t" ], [ "Ġ", "A" ], [ "Ġ", "e" ], [ "d", "d" ], [ "d", "e" ], [ "Ġ", "G" ], [ "i", "f" ], [ "l", "y" ], [ "ab", "le" ], [ "Ġ", "0" ], [ "Ġ", "N" ], [ "Ġ", "E" ], [ "g", "e" ], [ "or", "m" ], [ "o", "p" ], [ "ð", "Ŀ" ], [ "Ġ", "?" ], [ "im", "p" ], [ "Ġ=", ">" ], [ "om", "m" ], [ "Ġ", "y" ], [ "a", "s" ], [ "l", "o" ], [ "Ġ", "P" ], [ "pa", "ce" ], [ "u", "p" ], [ "Ġ", "*" ], [ ")", "," ], [ "e", "a" ], [ "Â", "¹" ], [ "e", "g" ], [ "e", "q" ], [ "Ġb", "y" ], [ "Ġ", "w" ], [ ")", "." ], [ "Ġ", "-" ], [ "â", "Ĭ" ], [ "â", "ģ" ], [ "Ġ", "L" ], [ "Ġ", "+" ], [ "ĠâĪ", "Ģ" ], [ "d", "u" ], [ "Ġ", "in" ], [ "âĬ", "¢" ], [ "om", "p" ], [ "Ġ", "<" ], [ "Ġ", "1" ], [ "Ġ", "v" ], [ "Ġâ", "Ł" ], [ "S", "pace" ], [ "â", "Ĩ" ], [ "r", "i" ], [ "in", "e" ], [ "Ġ", "l" ], [ "u", "b" ], [ "ĠâĦ", "ķ" ], [ "Ġâī", "¤" ], [ "a", "se" ], [ "o", "t" ], [ "i", "d" ], [ "ea", "su" ], [ "se", "t" ], [ "ĠS", "et" ], [ "ĠâĦ", "Ŀ" ], [ "ĠÎ", "¹" ], [ "r", "a" ], [ "Ġf", "un" ], [ "i", "st" ], [ "Ġ", "the" ], [ "if", "f" ], [ "Ġ", "ðĿ" ], [ "â", "Ł" ], [ "n", "d" ], [ "ĠĠĠĠ", "Ġ" ], [ "ĠI", "s" ], [ "ro", "up" ], [ "m", "m" ], [ "Ġ", "X" ], [ "ķ", "ľ" ], [ "m", "ul" ], [ "Ġ", "d" ], [ "on", "t" ], [ "t", "o" ], [ "C", "omm" ], [ "Ġi", "s" ], [ "or", "em" ], [ "âŁ", "©" ], [ "ct", "ion" ], [ "c", "ase" ], [ "ĠÎ", "²" ], [ "en", "t" ], [ "âĨ", "ij" ], [ "er", "o" ], [ "Î", "±" ], [ "f", "un" ], [ "int", "ro" ], [ "i", "th" ], [ "e", "l" ], [ "Ġ", "j" ], [ "e", "s" ], [ "Ġ", "of" ], [ "ĠâŁ", "¨" ], [ "m", "ap" ], [ "a", "ct" ], [ "I", "C" ], [ "L", "T" ], [ "the", "orem" ], [ "Ġâ", "Ĭ" ], [ "Ġ", "k" ], [ "iv", "e" ], [ "Ġe", "x" ], [ "d", "er" ], [ "q", "u" ], [ "E", "S" ], [ "I", "n" ], [ "orm", "ed" ], [ "u", "s" ], [ "h", "t" ], [ "o", "du" ], [ "odu", "le" ], [ "Ġs", "imp" ], [ "A", "C" ], [ "A", "L" ], [ "AC", "T" ], [ "ĠG", "O" ], [ "ACT", "IC" ], [ "ĠT", "ACTIC" ], [ "ĠGO", "AL" ], [ "i", "l" ], [ "U", "LT" ], [ "ĠR", "ES" ], [ "ĠRES", "ULT" ], [ "G", "roup" ], [ "Ģ", "ĸ" ], [ "on", "o" ], [ "Ġ", "^" ], [ "Ġ", "Ï" ], [ "Ġ", "D" ], [ "or", "y" ], [ "ĠF", "in" ], [ "Ġ", "Â" ], [ "o", "c" ], [ "I", "s" ], [ "Ġ", "K" ], [ "ĠðĿ", "ķľ" ], [ "e", "x" ], [ "on", "e" ], [ "lo", "g" ], [ "r", "an" ], [ "e", "ct" ], [ "i", "b" ], [ "Ġ", "th" ], [ "ge", "b" ], [ "Ġ", "re" ], [ "Ġ", "B" ], [ "p", "o" ], [ "r", "able" ], [ "geb", "ra" ], [ "dd", "Comm" ], [ "c", "o" ], [ "Ġ", "2" ], [ "Ġ", "H" ], [ "h", "e" ], [ "z", "ero" ], [ "g", "ht" ], [ "Ġ", "/" ], [ "Ġr", "w" ], [ "@", "[" ], [ "ine", "ar" ], [ "c", "c" ], [ "M", "ap" ], [ "o", "log" ], [ "m", "p" ], [ "ĠâĨij", "(" ], [ "R", "ing" ], [ "c", "omp" ], [ "H", "om" ], [ "i", "r" ], [ "at", "ion" ], [ "or", "t" ], [ "ĠN", "ormed" ], [ "v", "e" ], [ "en", "d" ], [ "Â", "²" ], [ "f", "l" ], [ "Ġ", "V" ], [ "O", "r" ], [ "a", "th" ], [ "Ġ", "}" ], [ "âĤ", "Ģ" ], [ "Ġ", "le" ], [ "i", "al" ], [ "Ġt", "o" ], [ "F", "in" ], [ "easu", "rable" ], [ "it", "e" ], [ "a", "dd" ], [ "easu", "re" ], [ "ddComm", "Group" ], [ "ono", "id" ], [ "t", "y" ], [ "ar", "d" ], [ "Ġ-", "/" ], [ "o", "b" ], [ "s", "imp" ], [ "Ġ", "Y" ], [ "ĠâĪ", "§" ], [ "Ġ", "|" ], [ "/", "--" ], [ "Î", "¼" ], [ "l", "ib" ], [ "R", "e" ], [ "Î", "¹" ], [ "ath", "lib" ], [ "o", "us" ], [ "v", "er" ], [ "U", "n" ], [ "m", "em" ], [ "in", "u" ], [ "ont", "inu" ], [ "op", "olog" ], [ "ap", "p" ], [ "u", "t" ], [ "ĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠĠĠĠ" ], [ "u", "m" ], [ "c", "on" ], [ "f", "t" ], [ "â", "Ī" ], [ "su", "b" ], [ "p", "p" ], [ "Ġ", "z" ], [ "Ġâī", "ł" ], [ "Ġh", "a" ], [ "ic", "al" ], [ "ĠM", "athlib" ], [ "ro", "p" ], [ "Ġ", "on" ], [ "qu", "iv" ], [ "f", "ine" ], [ "i", "z" ], [ "F", "un" ], [ "ontinu", "ous" ], [ "o", "l" ], [ "an", "ce" ], [ "t", "er" ], [ "ĠĠĠĠ", "ĠĠĠ" ], [ "Ġ(", "âĨij" ], [ "y", "mm" ], [ "O", "n" ], [ "S", "et" ], [ "l", "ic" ], [ "j", "ect" ], [ "at", "eg" ], [ "l", "gebra" ], [ "de", "f" ], [ "Î", "²" ], [ "Ġ", "q" ], [ "c", "h" ], [ "v", "al" ], [ "ateg", "ory" ], [ "mm", "a" ], [ "Ġ(", "(" ], [ "h", "f" ], [ "â", "Ģĸ" ], [ "n", "o" ], [ "s", "ing" ], [ "ĠÂ", "·" ], [ "a", "in" ], [ "c", "k" ], [ "al", "l" ], [ "Ġ(", "_" ], [ "á", "µ" ], [ "m", "k" ], [ "Ġex", "act" ], [ "ĠÎ", "¼" ], [ "Â", "³" ], [ "a", "m" ], [ "pe", "n" ], [ "Or", "der" ], [ "ar", "i" ], [ "Ġâ", "Ģ" ], [ "as", "s" ], [ "ĠFin", "set" ], [ "im", "it" ], [ "A", "t" ], [ "Ġâī", "«" ], [ "ĠâĪ", "ĥ" ], [ "Ġr", "fl" ], [ "Ġ", "J" ], [ "ro", "d" ], [ "A", "ddCommGroup" ], [ "E", "quiv" ], [ "`", "." ], [ "âĤ", "ĥ" ], [ "l", "t" ], [ "al", "s" ], [ "ĠâĢ", "¢" ], [ "ĠâĨ", "¦" ], [ "M", "ul" ], [ "ĠâŁ", "¶" ], [ "r", "u" ], [ "Ġw", "ith" ], [ "W", "ith" ], [ "M", "onoid" ], [ "Ġm", "ap" ], [ "ran", "s" ], [ "a", "ge" ], [ "s", "ymm" ], [ "Ġa", "t" ], [ "omp", "le" ], [ "Re", "al" ], [ "N", "at" ], [ "f", "st" ], [ "le", "mma" ], [ "v", "ari" ], [ "Ġc", "on" ], [ "ĠM", "easurable" ], [ "O", "f" ], [ "ject", "ive" ], [ "ri", "ght" ], [ "em", "p" ], [ "ct", "or" ], [ "ĠI", "n" ], [ "t", "i" ], [ "Ġg", "o" ], [ "S", "ub" ], [ "o", "un" ], [ "ĠâĨ", "Ķ" ], [ "su", "cc" ], [ "re", "s" ], [ "Ġa", "nd" ], [ "app", "ly" ], [ "Ġha", "ve" ], [ "opolog", "ical" ], [ "ĠS", "ub" ], [ "ĠC", "omm" ], [ "ar", "t" ], [ "re", "e" ], [ "u", "r" ], [ "Ġon", "ly" ], [ "n", "e" ], [ "emp", "ty" ], [ "s", "nd" ], [ "T", "he" ], [ "Ġâ", "Ģĸ" ], [ "if", "t" ], [ "Ġh", "x" ], [ "Ġw", "h" ], [ "Ġgo", "als" ], [ "E", "q" ], [ "L", "E" ], [ "âĨ", "IJ" ], [ "ĠâĨ", "IJ" ], [ "ĠL", "ist" ], [ "h", "a" ], [ "ob", "j" ], [ "r", "im" ], [ "le", "ft" ], [ "ĠNormed", "AddCommGroup" ], [ "o", "w" ], [ "e", "c" ], [ "ĠM", "odule" ], [ "i", "el" ], [ "i", "ght" ], [ "e", "f" ], [ "ĠN", "at" ], [ "a", "ck" ], [ "A", "lgebra" ], [ "Ġh", "f" ], [ "âģ", "´" ], [ "iel", "d" ], [ "a", "st" ], [ "vari", "able" ], [ "ub", "lic" ], [ "Ġ", "W" ], [ "ĠÂ", "¬" ], [ "de", "al" ], [ "h", "is" ], [ "Ġ[", "âĨIJ" ], [ "se", "d" ], [ "i", "g" ], [ "il", "ter" ], [ "ri", "ct" ], [ "'", "'" ], [ "Ġ", "un" ], [ "L", "inear" ], [ "o", "int" ], [ "po", "s" ], [ "le", "an" ], [ "er", "e" ], [ "m", "odule" ], [ "Ġ", "U" ], [ "The", "ory" ], [ "it", "y" ], [ "at", "e" ], [ "Ġa", "s" ], [ "en", "s" ], [ "Ġc", "o" ], [ "h", "om" ], [ "s", "mul" ], [ "Ġ", "Ã" ], [ "ĠÃ", "Ĺ" ], [ "inst", "ance" ], [ "ir", "ing" ], [ "in", "v" ], [ "ĠâĬ", "Ĩ" ], [ "al", "iz" ], [ "n", "eg" ], [ "Ġi", "mp" ], [ "M", "easure" ], [ "p", "ublic" ], [ "i", "e" ], [ "on", "empty" ], [ "po", "w" ], [ "t", "e" ], [ "ĠÎ", "µ" ], [ "opological", "Space" ], [ "or", "p" ], [ "er", "iv" ], [ "Ġf", "or" ], [ "id", "able" ], [ "Ġ(", "âĪ" ], [ "a", "x" ], [ "ĠF", "I" ], [ "Ġ<", "|" ], [ "ĠFI", "LE" ], [ "lo", "sed" ], [ "r", "w" ], [ "â", "ī" ], [ "`", "," ], [ "Ġ", "intro" ], [ "Ġ", "de" ], [ "p", "an" ], [ "Ġre", "fine" ], [ "al", "gebra" ], [ "Ġm", "ul" ], [ "ĠÏ", "ĥ" ], [ "Ġimp", "ort" ], [ "ĠNormed", "Space" ], [ "h", "s" ], [ "ec", "idable" ], [ "A", "dd" ], [ "g", "r" ], [ "h", "x" ], [ "th", "is" ], [ "Ġ", "Q" ], [ "f", "in" ], [ "Ġ?", "_" ], [ "em", "iring" ], [ "ran", "ge" ], [ "Is", "o" ], [ "âģ", "»" ], [ "ĵ", "Ŀ" ], [ "o", "s" ], [ "st", "o" ], [ "end", "sto" ], [ "t", "r" ], [ "Ġa", "n" ], [ "Ġ", "o" ], [ "E", "M" ], [ "ðĿ", "ķľ" ], [ "or", "s" ], [ "rim", "e" ], [ "ul", "l" ], [ "it", "ive" ], [ "âģ", "µ" ], [ "t", "ion" ], [ "g", "et" ], [ "st", "rict" ], [ "C", "on" ], [ "int", "ype" ], [ "Ġ", "Z" ], [ "O", "pen" ], [ "o", "o" ], [ "ex", "t" ], [ "Fin", "ite" ], [ "âī", "¥" ], [ "r", "al" ], [ ")", "]" ], [ "Ġth", "is" ], [ "T", "op" ], [ "et", "r" ], [ "p", "rod" ], [ "ist", "s" ], [ "ĠĠĠĠĠĠĠĠ", "Ġ" ], [ "ĠH", "as" ], [ "er", "i" ], [ "a", "d" ], [ "im", "age" ], [ "oun", "d" ], [ "ĠT", "opologicalSpace" ], [ "it", "ion" ], [ "c", "ard" ], [ "Ġi", "f" ], [ "l", "ass" ], [ "al", "ly" ], [ "Ġth", "en" ], [ "co", "e" ], [ "C", "ategory" ], [ "n", "on" ], [ "ĠT", "he" ], [ "Ġâ", "ĭ" ], [ "Ġv", "al" ], [ "Î", "³" ], [ "t", "rans" ], [ "n", "orm" ], [ "ĠÎ", "³" ], [ "Ġu", "sing" ], [ "ĠM", "easure" ], [ "du", "ct" ], [ "su", "pp" ], [ "Un", "it" ], [ "'", "_" ], [ "h", "d" ], [ "as", "is" ], [ "C", "omple" ], [ "Ġwh", "ere" ], [ "o", "d" ], [ "D", "eriv" ], [ "ĠD", "ecidable" ], [ "Ġa", "pp" ], [ "er", "m" ], [ "om", "ial" ], [ "S", "up" ], [ "at", "ed" ], [ "s", "er" ], [ "t", "eg" ], [ "ef", "f" ], [ "L", "oc" ], [ "sing", "le" ], [ "rop", "er" ], [ "p", "re" ], [ "Z", "ero" ], [ "Î", "µ" ], [ "C", "o" ], [ "su", "m" ], [ "ĠâĨij", "âĨij" ], [ "om", "e" ], [ "ĠComm", "Ring" ], [ "ro", "duct" ], [ "Ġ:", ":" ], [ "âĤ", "Ĺ" ], [ "Ġth", "at" ], [ "With", "in" ], [ "c", "omm" ], [ "ĠMeasurable", "Space" ], [ "n", "at" ], [ "H", "E" ], [ "O", "R" ], [ "ĠT", "HE" ], [ "OR", "EM" ], [ "ĠTHE", "OREM" ], [ "-", "/" ], [ "ĠL", "inear" ], [ "b", "y" ], [ "))", "." ], [ "Ġle", "t" ], [ "an", "ge" ], [ "'", ")" ], [ "su", "re" ], [ "Î", "´" ], [ "Ġ", "st" ], [ "lo", "sure" ], [ "F", "ield" ], [ "opolog", "y" ], [ "Ï", "Ģ" ], [ "Ġs", "ub" ], [ "S", "t" ], [ "ri", "b" ], [ "P", "re" ], [ "an", "t" ], [ "i", "ent" ], [ "j", "oint" ], [ "Ġex", "t" ], [ "in", "d" ], [ "his", "m" ], [ "orp", "hism" ], [ "t", "ype" ], [ "ĠC", "ategory" ], [ "L", "ist" ], [ "ĠP", "rop" ], [ "u", "re" ], [ "at", "ri" ], [ "r", "iv" ], [ "Ġ", "ob" ], [ "h", "p" ], [ "le", "n" ], [ "h", "ea" ], [ "ĠâĪ", "©" ], [ "âģ", "¶" ], [ "o", "ly" ], [ "atri", "x" ], [ "f", "or" ], [ "ĠâĪ", "ĺ" ], [ "ass", "oc" ], [ "ĠC", "ontinuous" ], [ "Ġ", "int" ], [ "Ġapp", "ly" ], [ "ru", "ct" ], [ "roper", "ty" ], [ "im", "pa" ], [ "á", "¶" ], [ "r", "om" ], [ "ĠâĬ", "¤" ], [ "a", "g" ], [ "Ġ/", "/" ], [ "ĠâĦ", "¤" ], [ "*", "}" ], [ "c", "ast" ], [ "Ġh", "s" ], [ "case", "s" ], [ "ĠIs", "C" ], [ "ĠDecidable", "Eq" ], [ "n", "omial" ], [ "t", "ain" ], [ "ĠF", "intype" ], [ "b", "ack" ], [ "om", "pa" ], [ "ĠÏ", "Ĩ" ], [ "al", "se" ], [ "u", "ot" ], [ "N", "Real" ], [ "ull", "back" ], [ "ĠA", "ddCommGroup" ], [ "etr", "ic" ], [ "sub", "set" ], [ "un", "iv" ], [ "c", "al" ], [ "ro", "w" ], [ "Ġ", "." ], [ "k", "er" ], [ "M", "odule" ], [ "t", "on" ], [ "Ġs", "u" ], [ "âĪ", "ŀ" ], [ "if", "orm" ], [ "))", ")" ], [ "/", "-" ], [ "â", "Ħ" ], [ "'", "," ], [ "ĠÎ", "´" ], [ "C", "omp" ], [ "¥", "¤" ], [ "Ï", "Ĩ" ], [ "Fin", "set" ], [ "Ġâ", "¥¤" ], [ "oly", "nomial" ], [ "in", "al" ], [ "Ġ", "def" ], [ "L", "imit" ], [ "ĠF", "un" ], [ "ĠâĪ", "ij" ], [ "ompa", "ct" ], [ "E", "x" ], [ "T", "o" ], [ "S", "emiring" ], [ "Ï", "ĥ" ], [ "Ġ", "O" ], [ "algebra", "Map" ], [ "er", "s" ], [ "e", "p" ], [ "ðĿ", "ĵĿ" ], [ "w", "ard" ], [ "ĠA", "lgebra" ], [ "T", "opology" ], [ "Ġâ", "ģ" ], [ "C", "at" ], [ "i", "p" ], [ "Ġs", "impa" ], [ "ĠM", "ul" ], [ "Ġn", "ot" ], [ "riv", "ial" ], [ "in", "r" ], [ "Ġs", "et" ], [ "g", "th" ], [ "D", "iff" ], [ "m", "ent" ], [ "ru", "e" ], [ "ĠâĦ", "Ĥ" ], [ "Ġa", "dd" ], [ "L", "e" ], [ "n", "ot" ], [ "or", "der" ], [ "at", "a" ], [ "add", "itive" ], [ "en", "er" ], [ "Ġ_", ")" ], [ "pe", "ct" ], [ "k", "e" ], [ "ow", "er" ], [ "Linear", "Map" ], [ "t", "op" ], [ "Ġ(âĨij", "(" ], [ "ĠâĪ", "Ĥ" ], [ "N", "NReal" ], [ "at", "or" ], [ "Comple", "x" ], [ "Ġe", "l" ], [ "Ġob", "tain" ], [ "A", "u" ], [ "d", "iv" ], [ "Ġa", "b" ], [ "ĠI", "deal" ], [ "o", "pen" ], [ "s", "s" ], [ "Fun", "ctor" ], [ "an", "g" ], [ "is", "joint" ], [ "ddComm", "Monoid" ], [ "0", "2" ], [ "I", "deal" ], [ "se", "l" ], [ "w", "o" ], [ "'", "." ], [ "C", "ontinuous" ], [ "ol", "imit" ], [ "eq", "u" ], [ "Ġh", "i" ], [ "i", "se" ], [ "Ġs", "nd" ], [ "sel", "f" ], [ "Ġf", "st" ], [ "ound", "ed" ], [ "C", "lass" ], [ "h", "n" ], [ "re", "strict" ], [ "h", "g" ], [ "se", "ction" ], [ "ser", "t" ], [ "N", "onempty" ], [ "ĠT", "endsto" ], [ "Ġâī", "ĥ" ], [ "Ġh", "p" ], [ "con", "st" ], [ "Ġm", "em" ], [ "ĠĠĠĠĠĠĠĠ", "ĠĠĠ" ], [ "Ġf", "in" ], [ ".", "{" ], [ "In", "teg" ], [ "e", "ction" ], [ "eri", "es" ], [ "Ġh", "y" ], [ "Ġâģ", "»" ], [ "Ġn", "orm" ], [ "om", "ain" ], [ "hea", "f" ], [ "ib", "le" ], [ "ĠR", "ing" ], [ "n", "t" ], [ "i", "le" ], [ "as", "ic" ], [ "ar", "y" ], [ "a", "ir" ], [ "ect", "ed" ], [ "Order", "ed" ], [ "at", "ive" ], [ "ĠS", "t" ], [ "on", "g" ], [ "Ġel", "se" ], [ "o", "de" ], [ "e", "val" ], [ "single", "ton" ], [ "Ġ", "\"" ], [ "n", "am" ], [ "Ġi", "t" ], [ "Ġ", "zero" ], [ "con", "gr" ], [ "w", "ise" ], [ "ĠâĬ", "Ĺ" ], [ "in", "l" ], [ "M", "easurable" ], [ "Ł", "Ļ" ], [ "ĠÏ", "Ģ" ], [ "h", "b" ], [ "ens", "ion" ], [ "âģ", "·" ], [ "hd", "s" ], [ "p", "l" ], [ "om", "ap" ], [ "imp", "le" ], [ "Ġp", "roperty" ], [ "ĠÎ", "½" ], [ "p", "r" ], [ "d", "ing" ], [ "ro", "ot" ], [ "Ġp", "ro" ], [ "l", "ift" ], [ "iz", "e" ], [ "Ġr", "ight" ], [ "ver", "se" ], [ "ont", "rivial" ], [ "n", "el" ], [ "p", "i" ], [ "c", "l" ], [ "Ġ", "''" ], [ "uot", "ient" ], [ "D", "eg" ], [ "s", "c" ], [ "ĠSub", "module" ], [ "T", "rans" ], [ "ens", "or" ], [ "#", "#" ], [ "Ġs", "ome" ], [ "m", "ono" ], [ "ance", "l" ], [ "pe", "nd" ], [ "Ġc", "omp" ], [ "f", "fine" ], [ "1", "1" ], [ "ruct", "ure" ], [ "ĠC", "omple" ], [ "Ġh", "g" ], [ "ĠâĪ", "¨" ], [ "Ġd", "ist" ], [ "ti", "set" ], [ "oun", "t" ], [ "n", "er" ], [ "]", ")" ], [ "c", "le" ], [ "Un", "iform" ], [ "in", "jective" ], [ "s", "pan" ], [ "N", "ormed" ], [ "Le", "ft" ], [ "cal", "ar" ], [ "ex", "act" ], [ "supp", "ort" ], [ "D", "ata" ], [ "p", "ro" ], [ "de", "x" ], [ "Ġin", "f" ], [ "fin", "ite" ], [ "B", "asis" ], [ "Ġa", "re" ], [ "Ġm", "k" ], [ "ack", "ward" ], [ "eg", "ral" ], [ "en", "se" ], [ "le", "ment" ], [ "R", "ight" ], [ "S", "eries" ], [ "P", "roduct" ], [ "Deg", "ree" ], [ "op", "y" ], [ "a", "u" ], [ "v", "es" ], [ "Ġb", "e" ], [ "es", "pace" ], [ "S", "Mul" ], [ "ĠA", "ddCommMonoid" ], [ "C", "h" ], [ "ĠMeasurable", "Set" ], [ "res", "er" ], [ "g", "roup" ], [ "int", "er" ], [ "B", "all" ], [ "Ġt", "rue" ], [ "Ġh", "b" ], [ "Or", "d" ], [ "ĠâĪ", "£" ], [ "an", "d" ], [ "su", "p" ], [ "b", "ed" ], [ "Ġ_", ")." ], [ "Ġf", "ile" ], [ "Ġ(", "-" ], [ "aliz", "ation" ], [ "ex", "ists" ], [ "ĠF", "ilter" ], [ "}", "," ], [ "ĠFun", "ction" ], [ "Ġfun", "ction" ], [ "h", "c" ], [ "A", "r" ], [ "c", "y" ], [ "Within", "At" ], [ "Ġh", "n" ], [ "Un", "ion" ], [ "Ġf", "rom" ], [ "Ġâĭ", "Ļ" ], [ "R", "el" ], [ "P", "olynomial" ], [ "op", "tion" ], [ "nam", "espace" ], [ "l", "l" ], [ "re", "fine" ], [ "m", "ax" ], [ "bed", "ding" ], [ "Ġat", "Top" ], [ "In", "f" ], [ "Ġ", "one" ], [ "P", "rime" ], [ "1", "5" ], [ "h", "y" ], [ "for", "get" ], [ "1", "0" ], [ "S", "calar" ], [ "Ġe", "q" ], [ "Ġn", "eg" ], [ "N", "orm" ], [ "pe", "c" ], [ "i", "ag" ], [ "t", "a" ], [ "1", "2" ], [ "der", "iv" ], [ "Ġ(âĪ", "Ģ" ], [ "1", "4" ], [ "i", "qu" ], [ "ul", "ar" ], [ "i", "h" ], [ "ĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠ" ], [ "p", "ort" ], [ "Ġw", "e" ], [ "non", "neg" ], [ "Ġr", "ange" ], [ "Ġh", "t" ], [ "d", "j" ], [ "1", "8" ], [ "er", "ent" ], [ "m", "age" ], [ "mp", "r" ], [ "ĠâĨĴ", "+" ], [ "Ġf", "alse" ], [ "ĠS", "ort" ], [ "con", "s" ], [ "i", "re" ], [ "Ġ", "--" ], [ "Ġ", "\\" ], [ "Ġn", "at" ], [ "ce", "s" ], [ "iqu", "e" ], [ "p", "lic" ], [ "âģ", "¸" ], [ "n", "hds" ], [ "áµ", "Ĵ" ], [ "A", "b" ], [ "ran", "k" ], [ "I", "cc" ], [ "/-", "!" ], [ "1", "7" ], [ "Ġh", "as" ], [ "P", "art" ], [ "áµĴ", "áµ" ], [ "C", "olimit" ], [ "i", "x" ], [ "ĠE", "NNReal" ], [ "Ġco", "e" ], [ "a", "e" ], [ "ect", "or" ], [ "D", "omain" ], [ "B", "asic" ], [ "lo", "w" ], [ "O", "b" ], [ "S", "um" ], [ "ĠA", "dd" ], [ "h", "i" ], [ "h", "r" ], [ "m", "a" ], [ "v", "d" ], [ "S", "eq" ], [ "ĠðĿ", "ĵĿ" ], [ "du", "ction" ], [ "Ġc", "ard" ], [ "Ġc", "h" ], [ "Ġun", "der" ], [ "á¶", "ł" ], [ "ĠI", "f" ], [ "im", "al" ], [ "Ġp", "os" ], [ "O", "p" ], [ "1", "6" ], [ "a", "len" ], [ "F", "Deriv" ], [ "c", "omap" ], [ "losed", "Ball" ], [ "m", "onoid" ], [ "c", "ont" ], [ "ĠÎ", "ĵ" ], [ "ha", "pe" ], [ "o", "ut" ], [ "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ" ], [ "act", "or" ], [ "Ġi", "d" ], [ "ver", "t" ], [ "Integ", "ral" ], [ "Ġ", "$" ], [ "du", "c" ], [ "H", "as" ], [ "Ġe", "val" ], [ "ĠS", "emiring" ], [ "g", "ree" ], [ "Comm", "Ring" ], [ "l", "g" ], [ ";", ">" ], [ "Ġh", "om" ], [ "Ġthe", "orem" ], [ "am", "e" ], [ "Ġ<", ";>" ], [ "ut", "e" ], [ "v", "ex" ], [ "i", "de" ], [ "N", "um" ], [ "ĠB", "o" ], [ "Ġ", "3" ], [ "ap", "h" ], [ "1", "9" ], [ "oo", "se" ], [ "Ġc", "ontinuous" ], [ "at", "es" ], [ "reser", "ves" ], [ "c", "re" ], [ "â", "¦" ], [ "re", "c" ], [ "h", "as" ], [ "ic", "h" ], [ "o", "in" ], [ "Fun", "ction" ], [ "in", "f" ], [ "o", "i" ], [ "ĠR", "e" ], [ "ĠM", "atrix" ], [ "On", "e" ], [ "ĠâĨĴ+", "*" ], [ "P", "rod" ], [ "Au", "x" ], [ "y", "s" ], [ "âĤ", "Ħ" ], [ "Ġt", "ype" ], [ "Ġb", "ackward" ], [ "B", "ot" ], [ "orp", "h" ], [ "ss", "oc" ], [ "ĠLinear", "Map" ], [ "d", "iff" ], [ "i", "ke" ], [ "1", "3" ], [ "E", "m" ], [ "om", "orphism" ], [ "S", "hape" ], [ "m", "in" ], [ "i", "able" ], [ "Ġh", "c" ], [ "c", "ontinuous" ], [ "á¶", "ľ" ], [ "ut", "able" ], [ "en", "ce" ], [ "áµĴáµ", "ĸ" ], [ "om", "orph" ], [ "Ġex", "ists" ], [ "r", "y" ], [ "Ġâĭ", "ĥ" ], [ "no", "de" ], [ "D", "ef" ], [ "ĠN", "ontrivial" ], [ "âĤģ", "âĤĤ" ], [ "ĠC", "on" ], [ "Ġ(", "â" ], [ "i", "Union" ], [ "Ġle", "mma" ], [ "on", "al" ], [ "or", "d" ], [ "ĠS", "em" ], [ "Ġun", "iv" ], [ "Ġs", "up" ], [ "Q", "uotient" ], [ "P", "air" ], [ "Ġs", "ection" ], [ "Ġcon", "st" ], [ "⣩", "," ], [ "at", "ti" ], [ "A", "n" ], [ "áµ", "IJ" ], [ "du", "al" ], [ "ĠC", "ont" ], [ "i", "es" ], [ "i", "ly" ], [ "ĠL", "ie" ], [ "A", "ction" ], [ "in", "sert" ], [ "ĠâĪ", "ª" ], [ "âģ", "°" ], [ "ol", "d" ], [ "p", "art" ], [ "r", "fl" ], [ "2", "3" ], [ "ĠâĪ", "«" ], [ "c", "losure" ], [ "atti", "ce" ], [ "Ġ}", ")" ], [ "Ġ", "al" ], [ "ĠComple", "te" ], [ "T", "ype" ], [ "ount", "able" ], [ "am", "ily" ], [ "ĠIn", "teg" ], [ "Ġ", "Ord" ], [ "ĠIs", "Open" ], [ "Ġin", "v" ], [ "Ġsu", "cc" ], [ "ĠA", "ll" ], [ "Ġc", "ont" ], [ "i", "an" ], [ "c", "he" ], [ "un", "it" ], [ "In", "de" ], [ "'", "]" ], [ "Ġle", "n" ], [ "Ġp", "re" ], [ "ĠP", "re" ], [ "etric", "Space" ], [ "2", "5" ], [ "cre", "te" ], [ "Em", "bedding" ], [ "}", ")" ], [ "ig", "ma" ], [ "2", "0" ], [ "ie", "ve" ], [ "ĠFin", "ite" ], [ "d", "vd" ], [ "ĠIn", "t" ], [ "âľĿ", ")" ], [ "len", "gth" ], [ "w", "e" ], [ "L", "p" ], [ "Ġex", "p" ], [ "co", "eff" ], [ "er", "nel" ], [ "2", "4" ], [ "I", "d" ], [ "iv", "is" ], [ "Ġ_", "," ], [ "erent", "iable" ], [ "Ġâ", "¦" ], [ "ong", "ly" ], [ "f", "ilter" ], [ "il", "inear" ], [ "Ġd", "o" ], [ "âģ", "¹" ], [ "f", "f" ], [ "c", "d" ], [ "ĠMul", "tiset" ], [ "ĠMeasure", "Theory" ], [ "h", "ab" ], [ "Sub", "module" ], [ "L", "ike" ], [ "iz", "ation" ], [ "v", "ed" ], [ "ig", "n" ], [ "Ġ+", "+" ], [ "ab", "s" ], [ "Ġde", "sc" ], [ "C", "losed" ], [ "ðĿ", "ŁĻ" ], [ "int", "egral" ], [ "Ġl", "ift" ], [ "al", "k" ], [ "Ġlen", "gth" ], [ "ĠâĬ", "¥" ], [ "h", "m" ], [ "M", "atrix" ], [ "pl", "it" ], [ "`", "-" ], [ "ti", "plic" ], [ "Loc", "alization" ], [ "ĠÎ", "©" ], [ "Ġs", "mul" ], [ "N", "on" ], [ "F", "orm" ], [ "S", "u" ], [ "comp", "utable" ], [ "ĠF", "ield" ], [ "â¦", "Ħ" ], [ "Ġâ¦", "ĥ" ], [ "Ġs", "h" ], [ "Ġco", "eff" ], [ "_", "," ], [ "b", "ot" ], [ "act", "ic" ], [ "ĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠĠĠ" ], [ "Ġâ", "ĸ" ], [ "Ġr", "ing" ], [ "Ġm", "ax" ], [ "P", "ro" ], [ "G", "r" ], [ "ra", "ction" ], [ "ĠâĨij(", "âĨij" ], [ "A", "lg" ], [ "ĠN", "onempty" ], [ "olog", "y" ], [ "d", "ist" ], [ "a", "y" ], [ "Ġcon", "gr" ], [ "Ġh", "m" ], [ "Ġinf", "er" ], [ "S", "em" ], [ "u", "d" ], [ "Ġfin", "ite" ], [ "re", "fl" ], [ "or", "e" ], [ "Ġc", "ase" ], [ "`", ":" ], [ "s", "ome" ], [ "Ġg", "ener" ], [ "u", "e" ], [ "M", "od" ], [ "in", "ary" ], [ "ĠL", "oc" ], [ "el", "l" ], [ "ep", "ar" ], [ "t", "endsto" ], [ "ĠInteg", "rable" ], [ "pa", "ir" ], [ "ĠÎ", "º" ], [ "ĠâĦ", "ļ" ], [ "ĠÏ", "ī" ], [ "áµ", "¥" ], [ "du", "ce" ], [ "Ġs", "pace" ], [ "ongly", "Measurable" ], [ "im", "ension" ], [ "su", "r" ], [ "Ġab", "s" ], [ "s", "in" ], [ "non", "computable" ], [ "2", "7" ], [ "Ġn", "e" ], [ "ic", "ator" ], [ "et", "a" ], [ "con", "d" ], [ "t", "ected" ], [ "ase", "d" ], [ "at", "tr" ], [ "Ġdef", "in" ], [ "Ġ", "%" ], [ "Ġn", "on" ], [ "c", "ancel" ], [ "ĠComm", "Semiring" ], [ "equ", "iv" ], [ "ĠÎ", "·" ], [ "Ġle", "ft" ], [ "2", "6" ], [ "Ġc", "an" ], [ "n", "ected" ], [ "Ġr", "intro" ], [ "Ġr", "cases" ], [ "Ġin", "r" ], [ "ĠM", "onoid" ], [ "Category", "Theory" ], [ "ing", "le" ], [ "ation", "s" ], [ "o", "g" ], [ "ch", "oose" ], [ "u", "al" ], [ "ĠS", "imple" ], [ "simp", "s" ], [ "2", "9" ], [ "In", "ter" ], [ "âŁ", "¨" ], [ "âĦ", "Ŀ" ], [ "F", "ilter" ], [ "C", "opy" ], [ "Ġc", "losure" ], [ "aliz", "ed" ], [ "duc", "ible" ], [ "u", "ally" ], [ "Ġ", "Uniform" ], [ "M", "ono" ], [ "at", "ch" ], [ "on", "ot" ], [ "Limit", "s" ], [ "v", "ent" ], [ "In", "st" ], [ "Ġdesc", "rib" ], [ "p", "rop" ], [ "âĤ", "ĺ" ], [ "on", "ent" ], [ "D", "ist" ], [ "T", "ensor" ], [ "))", "," ], [ "Ġi", "mage" ], [ "ex", "p" ], [ "2", "8" ], [ "In", "t" ], [ "Ġ", "all" ], [ "to", "Real" ], [ "Ġe", "quiv" ], [ "i", "o" ], [ "re", "ducible" ], [ "3", "4" ], [ "Ġa", "r" ], [ "se", "nt" ], [ "Ring", "Hom" ], [ "3", "7" ], [ "Ġs", "um" ], [ "o", "ve" ], [ "pend", "ent" ], [ "N", "S" ], [ "3", "6" ], [ "iv", "en" ], [ "Ġ", ">" ], [ "C", "ompact" ], [ "for", "all" ], [ "Co", "eff" ], [ "Ġdescrib", "ed" ], [ "un", "op" ], [ "mp", "le" ], [ "Ġ", "or" ], [ "T", "ower" ], [ "ĠÏ", "Ħ" ], [ ")", "âģ»" ], [ "5", "5" ], [ "is", "o" ], [ "us", "h" ], [ "th", "ors" ], [ "ĠO", "p" ], [ "ser", "ved" ], [ "Ġre", "served" ], [ "b", "er" ], [ "onot", "one" ], [ "ur", "al" ], [ "ic", "ense" ], [ "Copy", "right" ], [ "Re", "le" ], [ "Au", "thors" ], [ "Ġright", "s" ], [ "Inst", "ance" ], [ "Ġl", "icense" ], [ "IC", "E" ], [ "alen", "ce" ], [ "Rele", "ased" ], [ "pa", "che" ], [ "ĠA", "pache" ], [ "ĠL", "ICE" ], [ "NS", "E" ], [ "ĠLICE", "NSE" ], [ "C", "ast" ], [ "er", "ase" ], [ "pre", "image" ], [ "Ar", "row" ], [ ")", "`" ], [ "With", "Zero" ], [ "Su", "cc" ], [ "ire", "ct" ], [ "o", "ot" ], [ "Ġc", "omm" ], [ "Ġfun", "ctor" ], [ "pro", "tected" ], [ "a", "mple" ], [ "Ġ", "op" ], [ "ha", "ve" ], [ "w", "ap" ], [ "ĠSub", "type" ], [ "3", "0" ], [ "f", "ul" ], [ "ĠComplete", "Space" ], [ "Ġe", "qu" ], [ "t", "wo" ], [ "in", "j" ], [ "o", "ur" ], [ "Scalar", "Tower" ], [ "ĠM", "v" ], [ "C", "one" ], [ "Ġ?_", "⣩" ], [ "V", "al" ], [ "âĤ", "Ĭ" ], [ "Co", "ver" ], [ "Ġu", "se" ], [ "Pre", "d" ], [ "etr", "y" ], [ "Ġ", "order" ], [ "re", "n" ], [ "L", "ift" ], [ "ĠðĿ", "ĵ" ], [ "orm", "al" ], [ "ad", "j" ], [ "res", "heaf" ], [ "of", "Real" ], [ "Ex", "t" ], [ "po", "se" ], [ "act", "ors" ], [ "ĠC", "ode" ], [ "l", "im" ], [ "Ġg", "r" ], [ "Normed", "Field" ], [ "ĠH", "om" ], [ "ĠG", "roup" ], [ "Ġto", "Fun" ], [ "m", "all" ], [ "P", "ullback" ], [ "t", "rib" ], [ "ĠT", "op" ], [ "Ġe", "lement" ], [ "Ġt", "wo" ], [ "Ġâĸ", "¸" ], [ "in", "ormed" ], [ "Ġâ", "¨" ], [ "vent", "ually" ], [ "Ġh", "r" ], [ "ĠC", "omp" ], [ "ĠOp", "tion" ], [ "Ġ", "instance" ], [ "F", "intype" ], [ "Loc", "ally" ], [ "o", "id" ], [ "ĠBo", "ol" ], [ "Ġ", "#" ], [ "Con", "st" ], [ "Ġ", "Order" ], [ "8", "7" ], [ "Linear", "Equiv" ], [ "is", "crete" ], [ "a", "c" ], [ "ĠOrd", "inal" ], [ "in", "dex" ], [ "p", "t" ], [ "Un", "ique" ], [ "c", "ur" ], [ "ĠE", "x" ], [ "ĠD", "isjoint" ], [ "t", "ilinear" ], [ "An", "al" ], [ "res", "pect" ], [ "se", "ud" ], [ "Ġcon", "s" ], [ "om", "etry" ], [ "or", "el" ], [ "ĠP", "art" ], [ "Fin", "supp" ], [ "C", "ont" ], [ "ĠC", "o" ], [ "S", "imple" ], [ "_", "." ], [ "s", "h" ], [ "oc", "one" ], [ "Open", "s" ], [ "e", "an" ], [ "ang", "le" ], [ "ĠâĪ", "ı" ], [ "ĠðĿ", "ŁĻ" ], [ "M", "ax" ], [ "aliz", "er" ], [ "Ob", "j" ], [ "ĠðĿ", "Ĵ" ], [ "Ġ`", "(" ], [ "ĠâĬ", "Ķ" ], [ "Ġ(âĪ", "«" ], [ "Ġ⣨", "_," ], [ "ly", "NormedField" ], [ "it", "er" ], [ "ra", "m" ], [ "ys", "is" ], [ "un", "ion" ], [ "e", "as" ], [ "sub", "type" ], [ "Ġ[", "]" ], [ "3", "9" ], [ "ĠTop", "Cat" ], [ "¹", "âģ°" ], [ "C", "ountable" ], [ "Ġp", "rod" ], [ "p", "ullback" ], [ "Ġh", "d" ], [ "Ġ/", "--" ], [ "pa", "ren" ], [ "Ġâī", "ħ" ], [ "Anal", "ysis" ], [ "Ġwh", "ich" ], [ "ĠâĬ", "ĵ" ], [ "Ġx", "s" ], [ "paren", "cy" ], [ "pe", "d" ], [ "ers", "ion" ], [ "3", "5" ], [ "ab", "il" ], [ "Ġ", "inst" ], [ "ĠRe", "al" ], [ "P", "oint" ], [ "l", "inear" ], [ "Ġf", "ilter" ], [ "0", "0" ], [ "D", "imension" ], [ "Ġc", "losedBall" ], [ "b", "it" ], [ "ĠâĪ", "ħ" ], [ "ar", "row" ], [ "r", "um" ], [ "pect", "rum" ], [ "Def", "Eq" ], [ "Ï", "Ħ" ], [ "ĠC", "h" ], [ "ard", "inal" ], [ "o", "se" ], [ "Ġd", "eriv" ], [ "s", "q" ], [ "tr", "onglyMeasurable" ], [ "olog", "ical" ], [ "Î", "º" ], [ "ĠF", "ree" ], [ "u", "ation" ], [ "ĠIsC", "losed" ], [ "Ġs", "pan" ], [ "ur", "jective" ], [ "et", "we" ], [ "etwe", "en" ], [ "Add", "Group" ], [ "Ġ", "lo" ], [ "⣩", "⣩" ], [ "Ġde", "gree" ], [ "os", "ition" ], [ "Ġt", "a" ], [ "sur", "jective" ], [ "Ġg", "et" ], [ "Ġl", "inear" ], [ "I", "oi" ], [ "Ġp", "oint" ], [ "Gr", "aph" ], [ "B", "ounded" ], [ "Trans", "parency" ], [ "iag", "onal" ], [ "respect", "Transparency" ], [ "Ë", "¢" ], [ "C", "of" ], [ "h", "l" ], [ "4", "6" ], [ "4", "8" ], [ "r", "ing" ], [ "In", "jective" ], [ "A", "ssoc" ], [ "âĪ", "Ģ" ], [ "seud", "o" ], [ "Ġm", "easure" ], [ "fun", "ctor" ], [ "ĠS", "um" ], [ "Ġ2", "02" ], [ "in", "c" ], [ "Ġo", "ver" ], [ "h", "u" ], [ "ra", "d" ], [ "n", "um" ], [ "Ġ", "@" ], [ "Ġd", "simp" ], [ "ĠLinear", "Ordered" ], [ "Ġis", "L" ], [ "ĠRing", "Hom" ], [ "ĠNontrivial", "lyNormedField" ], [ "Ġ(â", "ĭ" ], [ "is", "DefEq" ], [ "D", "ual" ], [ "âĤ", "Ľ" ], [ "y", "cle" ], [ "l", "imit" ], [ "S", "pan" ], [ "un", "t" ], [ "R", "oot" ], [ "Ġ", "4" ], [ "Ab", "s" ], [ "ological", "Complex" ], [ "C", "losure" ], [ "om", "b" ], [ "Ġn", "one" ], [ "b", "all" ], [ "ĠI", "oo" ], [ "f", "le" ], [ "T", "opologicalSpace" ], [ "P", "i" ], [ "ex", "ample" ], [ "Î", "½" ], [ "to", "Fun" ], [ "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ", "Ġ" ], [ "Â", "·" ], [ "comp", "l" ], [ "4", "5" ], [ "4", "9" ], [ "co", "unt" ], [ "Unit", "al" ], [ "i", "Sup" ], [ "âĤ", "IJ" ], [ "el", "im" ], [ "Ġint", "er" ], [ "Ġm", "orphism" ], [ "Monoid", "Hom" ], [ "Fun", "c" ], [ "Ġ(âĪ", "ĥ" ], [ "g", "cd" ], [ "I", "oo" ], [ "ta", "il" ], [ "H", "a" ], [ "at", "Top" ], [ "Ġp", "ullback" ], [ "a", "ce" ], [ "Ġin", "sert" ], [ "âĢĸ", "âĤĬ" ], [ "ri", "er" ], [ "Ġgr", "ind" ], [ "M", "k" ], [ "e", "e" ], [ "iff", "erentiable" ], [ "Ġc", "f" ], [ "T", "his" ], [ "on", "ic" ], [ "Ġsup", "port" ], [ ")", "}" ], [ "h", "v" ], [ "ra", "ct" ], [ "ĠA", "n" ], [ "Inde", "pendent" ], [ "ker", "nel" ], [ "duce", "d" ], [ "ĠSem", "inormed" ], [ "4", "7" ], [ "ĠF", "alse" ], [ "d", "en" ], [ "ner", "Product" ], [ "eri", "or" ], [ "Ġ.", "." ], [ "qu", "ot" ], [ "t", "ic" ], [ "po", "ly" ], [ "]", ";" ], [ "un", "d" ], [ "our", "ce" ], [ "3", "8" ], [ "u", "g" ], [ "p", "rime" ], [ "op", "rime" ], [ "lass", "ical" ], [ "'", "s" ], [ "Ġg", "roup" ], [ "Ġh", "z" ], [ "ĠFun", "ctor" ], [ "F", "or" ], [ "Ġb", "etween" ], [ "0", "9" ], [ "Ġh", "k" ], [ "ĠCategory", "Theory" ], [ "ct", "x" ], [ "ent", "er" ], [ "m", "t" ], [ "Ġt", "l" ], [ "D", "ecidable" ], [ "ĠI", "cc" ], [ "ot", "e" ], [ "ot", "al" ], [ "Loc", "al" ], [ "Î", "ĵ" ], [ "Mul", "tilinear" ], [ "of", "Nat" ], [ "F", "raction" ], [ "nerProduct", "Space" ], [ "Ġin", "duction" ], [ "Ġset", "s" ], [ "n", "onempty" ], [ "L", "attice" ], [ "d", "ate" ], [ "Comple", "te" ], [ "d", "et" ], [ "P", "roperty" ], [ "c", "ated" ], [ "Ġi", "h" ], [ "D", "ivis" ], [ "ĠCont", "Diff" ], [ "0", "6" ], [ "e", "omorph" ], [ "Ġt", "rans" ], [ "ĠSub", "group" ], [ "Ġ", "!" ], [ "al", "c" ], [ "Ġ", "log" ], [ "re", "v" ], [ "ĠisL", "t" ], [ "Î", "·" ], [ "su", "lt" ], [ "part", "ition" ], [ "P", "os" ], [ "S", "heaf" ], [ "j", "ection" ], [ "Ġh", "u" ], [ "Ġ⣨", "⣨" ], [ "h", "z" ], [ "St", "ar" ], [ "Ġh", "j" ], [ "Ġc", "omple" ], [ "Ġcase", "s" ], [ "orel", "Space" ], [ "eg", "ular" ], [ "Mul", "Action" ], [ "Ġn", "il" ], [ "cur", "ry" ], [ "ru", "ctor" ], [ "s", "wap" ], [ "ĠT", "his" ], [ "áµ", "¢" ], [ "S", "y" ], [ "in", "duction" ], [ "Dimension", "al" ], [ "Ġf", "orm" ], [ "i", "as" ], [ "s", "Of" ], [ "ar", "g" ], [ "c", "i" ], [ "Ġ_", "⣩" ], [ "on", "ed" ], [ "W", "e" ], [ "Ġp", "roduct" ], [ "ea", "d" ], [ "oned", "a" ], [ "an", "k" ], [ "ĠQ", "uotient" ], [ "ĠB", "asis" ], [ "Ġint", "egral" ], [ "ur", "n" ], [ "nat", "Degree" ], [ "Part", "ial" ], [ "Ġb", "all" ], [ "Ġdefin", "ition" ], [ "F", "ree" ], [ "ĠÎ", "¸" ], [ "ush", "out" ], [ "Ġinfer", "Instance" ], [ "Ï", "ģ" ], [ "m", "od" ], [ "I", "oc" ], [ "I", "co" ], [ "ĠA", "r" ], [ "0", "5" ], [ "Ġm", "in" ], [ "h", "ere" ], [ "se", "m" ], [ "S", "epar" ], [ "Ġa", "dj" ], [ "Sub", "group" ], [ "ro", "th" ], [ "ĠP", "rim" ], [ "Ġ", "ed" ], [ "m", "easure" ], [ "Ġl", "t" ], [ "h", "k" ], [ "Ġâ", "§" ], [ "a", "re" ], [ "ĠÏ", "Ī" ], [ "co", "d" ], [ "Ġrw", "a" ], [ "T", "actic" ], [ "hea", "d" ], [ "inc", "ip" ], [ "B", "inary" ], [ "de", "c" ], [ "abil", "ity" ], [ "Ġnat", "Degree" ], [ "0", "7" ], [ "Ġan", "y" ], [ "w", "ith" ], [ "In", "v" ], [ "low", "er" ], [ "ĠSub", "monoid" ], [ "Ġ[", "âĪĢ" ], [ "i", "ces" ], [ "ind", "icator" ], [ "vari", "ant" ], [ "Ġ(âĪ", "ij" ], [ "ĠMv", "Polynomial" ], [ "end", "ie" ], [ "roth", "endie" ], [ "rothendie", "ck" ], [ "ĠIs", "Domain" ], [ "i", "a" ], [ "to", "LinearMap" ], [ "ad", "ing" ], [ "Ġâ§", "¸" ], [ "actor", "ization" ], [ "A", "dj" ], [ "n", "n" ], [ "S", "pec" ], [ "ĠE", "quiv" ], [ "Ġin", "l" ], [ "2", "02" ], [ "Ġl", "imit" ], [ "ĠA", "ffine" ], [ "M", "em" ], [ "Hom", "eomorph" ], [ "Ob", "ject" ], [ "Finite", "Measure" ], [ "Ġd", "iv" ], [ "Ġc", "ategory" ], [ "omb", "in" ], [ "th", "er" ], [ "K", "ernel" ], [ "ut", "ion" ], [ "Ch", "ar" ], [ "St", "rict" ], [ "ir", "st" ], [ "Sub", "monoid" ], [ "ĠIn", "ter" ], [ "ro", "x" ], [ "*", ")" ], [ "Ġcon", "vert" ], [ "Deriv", "At" ], [ "arrow", "s" ], [ "ower", "Series" ], [ "Ġ(", "." ], [ "it", "ed" ], [ "u", "se" ], [ "o", "x" ], [ "r", "t" ], [ "ex", "pose" ], [ "is", "ymm" ], [ "B", "y" ], [ "mp", "ty" ], [ "A", "d" ], [ "st", "r" ], [ "als", "o" ], [ "5", "6" ], [ "st", "ar" ], [ "m", "easurable" ], [ "¹", "¹" ], [ "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ", "ĠĠĠ" ], [ "st", "ructure" ], [ "ĠÎ", "Ľ" ], [ "ĠFree", "CommRing" ], [ "Dist", "rib" ], [ "Sup", "port" ], [ "ĠN", "on" ], [ "Ġ", "Ordered" ], [ "Ġ", "With" ], [ "Ġp", "ow" ], [ "Ġre", "l" ], [ "Ġ(", "·" ], [ "Ġm", "easurable" ], [ "Ġ", "en" ], [ "T", "ri" ], [ "Ġsub", "set" ], [ "ĠUniform", "Space" ], [ "c", "losedBall" ], [ "g", "t" ], [ "pre", "cated" ], [ "h", "q" ], [ "ĠV", "ector" ], [ "Ġsu", "ch" ], [ "co", "ped" ], [ "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠ" ], [ "eg", "rable" ], [ "Ġs", "ize" ], [ "âĤĤ", "âĤĥ" ], [ "Ġp", "art" ], [ "Alg", "Hom" ], [ "hab", "ited" ], [ "us", "ion" ], [ "Ġit", "s" ], [ "Scalar", "s" ], [ "Ġc", "mp" ], [ "ĠIs", "P" ], [ "7", "9" ], [ "b", "i" ], [ "r", "pow" ], [ "Ring", "Theory" ], [ "p", "er" ], [ "Ġsh", "ow" ], [ "Mul", "tiset" ], [ "Ġp", "ublic" ], [ "cl", "usion" ], [ "ĠB", "orelSpace" ], [ "ĠContinuous", "On" ], [ "le", "x" ], [ "I", "H" ], [ "ading", "Coeff" ], [ "Ġt", "endsto" ], [ "ĠP", "rod" ], [ "i", "ates" ], [ "a", "ch" ], [ "d", "is" ], [ "Ġn", "um" ], [ "his", "ker" ], [ "R", "at" ], [ "0", "8" ], [ "Ġm", "p" ], [ "ar", "get" ], [ "g", "ener" ], [ "Ġh", "v" ], [ "ul", "t" ], [ "Ġre", "t" ], [ "Ġm", "atch" ], [ "P", "erm" ], [ "b", "asis" ], [ "ĠP", "olynomial" ], [ "ĠIs", "ScalarTower" ], [ "ĠC", "áµĴáµĸ" ], [ "â¦Ħ", "," ], [ "aliz", "e" ], [ "Integ", "rable" ], [ "`", "`" ], [ "Ġs", "ingle" ], [ "ĠIn", "nerProductSpace" ], [ "omorph", "ic" ], [ "ff", "ices" ], [ "Ġh", "ab" ], [ "ðĿ", "ĵ" ], [ "M", "Diff" ], [ "ig", "roup" ], [ "E", "mpty" ], [ "R", "egular" ], [ "Ġin", "ner" ], [ "Ġ", "also" ], [ "quot", "ient" ], [ "Ġequ", "al" ], [ "mm", "able" ], [ "I", "mage" ], [ "F", "amily" ], [ "f", "ix" ], [ "t", "f" ], [ "incip", "al" ], [ "S", "h" ], [ "irect", "ed" ], [ "Ġ(âĭ", "ĥ" ], [ "S", "pectrum" ], [ "v", "en" ], [ "Ġm", "pr" ], [ "sin", "ce" ], [ "ĠP", "erm" ], [ "re", "verse" ], [ "ĠSimple", "Graph" ], [ "ol", "um" ], [ "d", "ition" ], [ "ant", "isymm" ], [ "ĠP", "i" ], [ "b", "ind" ], [ "202", "6" ], [ "T", "ors" ], [ "Ġ}", "," ], [ "ĠIsC", "ompact" ], [ "ĠD", "ifferentiable" ], [ "5", "9" ], [ "Measure", "Theory" ], [ "ir", "cle" ], [ "ch", "em" ], [ "ĠComple", "x" ], [ "ĠF", "act" ], [ "re", "al" ], [ "Ġre", "strict" ], [ "pp", "er" ], [ "ens", "ity" ], [ "ĠP", "rime" ], [ "ural", "ity" ], [ "^", "[" ], [ "nd", "er" ], [ "ĠSt", "ructure" ], [ "FDeriv", "At" ], [ "ĠIs", "Unit" ], [ "s", "ize" ], [ "F", "rom" ], [ "ot", "opy" ], [ "e", "cond" ], [ "'", "}" ], [ "o", "u" ], [ "A", "ddCommMonoid" ], [ "ĠA", "ssoc" ], [ "Ġwh", "en" ], [ "on", "omial" ], [ "ated", "FDeriv" ], [ "Ġfin", "rank" ], [ "Comm", "Monoid" ], [ "ĠI", "H" ], [ "Ġv", "ersion" ], [ "Ġas", "s" ], [ "6", "9" ], [ "Ġ", "ctx" ], [ "s", "ion" ], [ "Ġh", "e" ], [ "de", "precated" ], [ "l", "in" ], [ "âĤ", "Ļ" ], [ "it", "t" ], [ "a", "ult" ], [ "5", "7" ], [ "f", "orm" ], [ "iv", "ity" ], [ "pre", "sent" ], [ "is", "h" ], [ "co", "ver" ], [ "T", "erm" ], [ "O", "ver" ], [ "ĠâĬ", "ķ" ], [ "ĠP", "seudo" ], [ "f", "old" ], [ "ext", "end" ], [ "Ġmul", "tiplic" ], [ "ĠSeminormed", "AddCommGroup" ], [ "f", "g" ], [ "Ġfunction", "s" ], [ "r", "reducible" ], [ "Hom", "ology" ], [ "el", "f" ], [ "ĠâĨĴ", "*" ], [ "m", "eas" ], [ "de", "gree" ], [ "re", "am" ], [ "ĠðĿĴ", "ľ" ], [ "E", "lement" ], [ "A", "ffine" ], [ "'", "))" ], [ "Ġret", "urn" ], [ "Ġâī", "¥" ], [ "Ġ", "Unit" ], [ "b", "ase" ], [ "âĨij", "(" ], [ "es", "s" ], [ "h", "U" ], [ "d", "isjoint" ], [ "8", "9" ], [ "F", "actors" ], [ "ĠP", "ro" ], [ "ul", "a" ], [ "âģ", "Ĩ" ], [ "ed", "i" ], [ "ðĿ", "Ĵ" ], [ "4", "4" ], [ "to", "Finset" ], [ "D", "isjoint" ], [ "Ġob", "ject" ], [ "Ġde", "fine" ], [ "Divis", "ors" ], [ "Ġre", "sult" ], [ "\"", ")]" ], [ "ode", "l" ], [ "Ġis", "omorphism" ], [ "Ext", "ension" ], [ "Ġf", "ield" ], [ "Ġt", "erm" ], [ "ĠC", "ardinal" ], [ "ol", "ution" ], [ "ĠP", "os" ], [ "âĢĸ", ")" ], [ "olum", "e" ], [ "ĠP", "air" ], [ "Ġh", "q" ], [ "e", "st" ], [ "i", "us" ], [ "h", "ε" ], [ "ĠM", "em" ], [ "re", "l" ], [ "Ġ", "~" ], [ "A", "pp" ], [ "Ġt", "r" ], [ "or", "k" ], [ "po", "int" ], [ "Ġc", "omap" ], [ "chem", "e" ], [ "ver", "y" ], [ "Ġ·", ")" ], [ "R", "ange" ], [ "p", "ar" ], [ "Ġass", "oc" ], [ "ĠV", "al" ], [ "b", "ound" ], [ "a", "ith" ], [ "i", "er" ], [ "aith", "ful" ], [ "res", "ieve" ], [ "al", "le" ], [ "a", "eval" ], [ "Ġ", "Unique" ], [ "fin", "rank" ], [ "Cof", "an" ], [ "At", "trib" ], [ "s", "ource" ], [ "ign", "ed" ], [ "ar", "rier" ], [ "ĠI", "co" ], [ "il", "l" ], [ "Norm", "al" ], [ "Decidable", "Eq" ], [ "ĠðĿ", "Ķ" ], [ "nat", "Cast" ], [ "Ġcomm", "ut" ], [ "s", "diff" ], [ "ĠW", "e" ], [ "rothendieck", "Topology" ], [ "ap", "pend" ], [ "In", "dex" ], [ "Ġu", "p" ], [ "Ab", "ove" ], [ "Ġ", "algebra" ], [ "iag", "ram" ], [ "h", "j" ], [ "Ġconst", "ructor" ], [ "und", "le" ], [ "ra", "y" ], [ "U", "nder" ], [ "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠĠĠ" ], [ "h", "S" ], [ "Ġs", "in" ], [ "Ġh", "l" ], [ "de", "sc" ], [ ".", "." ], [ "def", "eq" ], [ "Con", "gr" ], [ "¹", "²" ], [ "s", "Sup" ], [ "Re", "strict" ], [ "n", "il" ], [ "pre", "d" ], [ "ĠN", "e" ], [ "6", "6" ], [ "Ġc", "olimit" ], [ "Ġ?_", "," ], [ "Ë", "£" ], [ "ĠLoc", "ally" ], [ "N", "e" ], [ "Ġm", "onoid" ], [ "D", "ensity" ], [ "Fraction", "Ring" ], [ "h", "w" ], [ "or", "n" ], [ "M", "etricSpace" ], [ "P", "ar" ], [ "cast", "Succ" ], [ "cy", "cle" ], [ "ob", "ject" ], [ "s", "pec" ], [ "ang", "ent" ], [ "ot", "ent" ], [ "B", "ase" ], [ "P", "owerSeries" ], [ "Ġre", "s" ], [ "er", "se" ], [ "O", "D" ], [ "Ġsu", "ffices" ], [ "Comp", "onent" ], [ "ĠW", "alk" ], [ "b", "iUnion" ], [ "ĠM", "etricSpace" ], [ "ĠFinite", "Dimensional" ], [ "Ġ}", ")," ], [ "S", "urjective" ], [ "Ġ?_", ")" ], [ "il", "in" ], [ "Con", "vex" ], [ "b", "rev" ], [ "adj", "oin" ], [ "ch", "y" ], [ "Inde", "p" ], [ "5", "8" ], [ "B", "ackward" ], [ "Ġh", "w" ], [ "ul", "d" ], [ "âĤ", "ľ" ], [ "ad", "ic" ], [ "Ġg", "iven" ], [ "el", "ian" ], [ "Ġ(â", "¨" ], [ "u", "ard" ], [ "it", "ial" ], [ "lo", "ck" ], [ "ĠIn", "habited" ], [ "Continuous", "LinearMap" ], [ "imal", "Ideal" ], [ "Ġc", "alc" ], [ "e", "ventually" ], [ "ES", "tronglyMeasurable" ], [ "f", "deriv" ], [ "use", "Backward" ], [ "defeq", "Attrib" ], [ "Ġs", "coped" ], [ "Id", "x" ], [ "ĠÏ", "ģ" ], [ "p", "le" ], [ "ĠComm", "Monoid" ], [ "de", "p" ], [ "Ad", "joint" ], [ "ĠSt", "rict" ], [ "co", "s" ], [ "ĠFin", "supp" ], [ "C", "ombin" ], [ "Algebra", "ic" ], [ "Ġ", "Opens" ], [ "ĠPre", "order" ], [ "au", "chy" ], [ "Ġc", "y" ], [ "Con", "nected" ], [ "u", "st" ], [ "ĠPrim", "rec" ], [ "r", "at" ], [ "y", "tic" ], [ "ib", "er" ], [ "e", "th" ], [ "Ġs", "q" ], [ "Ġp", "ure" ], [ "st", "ep" ], [ "0", "3" ], [ "ĠCh", "ar" ], [ ">", "." ], [ "I", "ci" ], [ "ĠBo", "x" ], [ "th", "og" ], [ "Add", "itive" ], [ "edi", "ate" ], [ "thog", "onal" ], [ "un", "c" ], [ "G", "ener" ], [ "ea", "k" ], [ "s", "pace" ], [ "Ġo", "pen" ], [ "g", "s" ], [ "cod", "able" ], [ "⣩", ")" ], [ "'", "âľĿ" ], [ "Ġ(âĪ«", "âģ»" ], [ "lo", "cal" ], [ "ĠT", "opological" ], [ "it", "z" ], [ "un", "pair" ], [ "ĠQ", "u" ], [ "S", "ingle" ], [ "d", "Arrow" ], [ "c", "f" ], [ "Q", "u" ], [ "Ġun", "it" ], [ "M", "orphism" ], [ "P", "ow" ], [ "er", "t" ], [ "set", "s" ], [ "x", "s" ], [ "Ġst", "ructure" ], [ "ed", "Space" ], [ "0", "4" ], [ "Ġ|", ">." ], [ "ut", "ation" ], [ "V", "ec" ], [ "v", "ing" ], [ "Ġlo", "c" ], [ "a", "ffine" ], [ "fle", "ct" ], [ "qu", "are" ], [ "Ġh", "U" ], [ "r", "or" ], [ "Ï", "Ī" ], [ "Ġth", "ere" ], [ "G", "en" ], [ "f", "rom" ], [ "b", "s" ], [ "'", ")." ], [ "fin", "d" ], [ "Ch", "ange" ], [ "ic", "k" ], [ "au", "x" ], [ "N", "o" ], [ "ĠðĿ", "ķ" ], [ "ĠS", "Mul" ], [ "y", "m" ], [ "ĠLinear", "Order" ], [ "Ġta", "il" ], [ "up", "date" ], [ "A", "s" ], [ "n", "th" ], [ "Sub", "type" ], [ "Countable", "Topology" ], [ "Element", "s" ], [ "pos", "ite" ], [ "ĠM", "onotone" ], [ "ĠA", "EStronglyMeasurable" ], [ "B", "ox" ], [ "Monoid", "al" ], [ "od", "up" ], [ "3", "2" ], [ "E", "NNReal" ], [ "Ġmap", "s" ], [ "6", "7" ], [ "Hom", "ologicalComplex" ], [ "Ġâ¨", "Ĩ" ], [ "Ġequiv", "alence" ], [ "c", "enter" ], [ "ĠB", "ounded" ], [ "ĠâĨijâĨij", "(" ], [ "Linear", "Algebra" ], [ "6", "8" ], [ "Ġst", "ar" ], [ "nat", "urality" ], [ "igned", "Measure" ], [ "C", "ocone" ], [ "Sub", "algebra" ], [ "Pair", "wise" ], [ "iter", "atedFDeriv" ], [ "S", "q" ], [ "Op", "tion" ], [ "ĠâĪ«", "âģ»" ], [ "Ġ-/", "]" ], [ "in", "ner" ], [ "h", "C" ], [ "re", "assoc" ], [ "Ġv", "ari" ], [ "al", "ytic" ], [ "o", "st" ], [ "con", "nected" ], [ "Ġ}", "." ], [ "Ġch", "ange" ], [ "Num", "ber" ], [ "â", "Ģ" ], [ "a", "le" ], [ "EM", "easurable" ], [ "lic", "ial" ], [ "â", "Į" ], [ "Ġs", "plit" ], [ "Comp", "l" ], [ "ĠIn", "jective" ], [ "I", "ic" ], [ "as", "i" ], [ "er", "f" ], [ "E", "nd" ], [ "Ġin", "dex" ], [ "ĠIs", "Localization" ], [ "ĠâĪ", "ŀ" ], [ "ĠM", "ain" ], [ "an", "n" ], [ "w", "hisker" ], [ "V", "ector" ], [ "Ġed", "ist" ], [ "m", "s" ], [ "Ġm", "odule" ], [ "ic", "ontinuous" ], [ "B", "ig" ], [ "Ġ", "Or" ], [ "riv", "ate" ], [ "##", "#" ], [ "ĠâĬĹ", "[" ], [ "Ġadd", "itive" ], [ "Measurable", "Space" ], [ "Ġ(", "{" ], [ "St", "mt" ], [ "Q", "uot" ], [ "h", "B" ], [ "pl", "ace" ], [ "ĠÏ", "ķ" ], [ "ĠCon", "vex" ], [ "s", "ch" ], [ "Ex", "p" ], [ "trib", "ute" ], [ "Ġh", "S" ], [ ")", "âĢĸ" ], [ "M", "in" ], [ "Ġp", "reserves" ], [ "if", "y" ], [ "oc", "h" ], [ "lin", "der" ], [ "ĠS", "igma" ], [ "it", "ivity" ], [ "t", "rue" ], [ "ab", "ly" ], [ "ow", "n" ], [ "ĠP", "resieve" ], [ "Ġint", "erior" ], [ "M", "v" ], [ "Ġcont", "ain" ], [ "'", "`" ], [ "is", "Open" ], [ "Ï", "ī" ], [ "i", "ated" ], [ "Ġe", "very" ], [ "p", "s" ], [ "t", "ensor" ], [ "fin", "set" ], [ "c", "lass" ], [ "F", "n" ], [ "u", "age" ], [ "ang", "uage" ], [ "t", "om" ], [ "b", "ability" ], [ "Î", "¶" ], [ "))", ")." ], [ "8", "8" ], [ "Ġis", "o" ], [ "G", "e" ], [ "In", "verse" ], [ "Ġdef", "ault" ], [ "Ġl", "ia" ], [ "Ġd", "et" ], [ "end", "s" ], [ "ĠLinearOrdered", "Field" ], [ "ĠâĨij", "{" ], [ "Of", "Elements" ], [ "Ha", "us" ], [ "duc", "ing" ], [ "a", "w" ], [ "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠĠĠĠĠ" ], [ "âľĿ", "," ], [ "ter", "nat" ], [ "ce", "ss" ], [ "2", "2" ], [ "ĠG", "iven" ], [ "Ġc", "g" ], [ "ĠIs", "S" ], [ "Complex", "Shape" ], [ "L", "ie" ], [ "Ġhi", "j" ], [ "ĠCo", "ver" ], [ "ĠâĨij(âĨij", "(" ], [ "Ġâĭ", "Ĥ" ], [ "ĠPair", "wise" ], [ "in", "verse" ], [ "i", "ed" ], [ "ĠIs", "R" ], [ "al", "g" ], [ "equ", "ence" ], [ "Ġde", "c" ], [ "l", "ast" ], [ "equ", "alizer" ], [ "ĠF", "or" ], [ "ar", "ith" ], [ "Ġhx", "y" ], [ "at", "ible" ], [ "eri", "an" ], [ "eth", "erian" ], [ "Ġ", "root" ], [ "Ġelement", "s" ], [ "Linear", "Order" ], [ "ĠA", "EMeasurable" ], [ "Ġ(", "#" ], [ "sOf", "Shape" ], [ "Ġi", "ter" ], [ "t", "ing" ], [ "Ġs", "ymm" ], [ ")", "`." ], [ "p", "rivate" ], [ "at", "ing" ], [ "le", "adingCoeff" ], [ "ĠP", "reserves" ], [ "ediate", "Field" ], [ "it", "one" ], [ "Ġ", "em" ], [ "S", "igma" ], [ "âĦ", "ķ" ], [ "at", "is" ], [ "Ġb", "ut" ], [ "Comm", "Semiring" ], [ "Sh", "ift" ], [ "Is", "ometry" ], [ "Ġun", "iform" ], [ "atis", "f" ], [ "v", "ar" ], [ "Ġs", "ame" ], [ "alen", "t" ], [ "eri", "od" ], [ "m", "oo" ], [ "co", "de" ], [ "o", "uld" ], [ "d", "omain" ], [ "Ġh", "I" ], [ "moo", "th" ], [ "h", "A" ], [ "Ġd", "en" ], [ "ck", "et" ], [ "Equiv", "alence" ], [ "nat", "Abs" ], [ "I", "io" ], [ "Ġs", "o" ], [ "âĤĽ", "âĤĹ" ], [ "ĠR", "el" ], [ "Tensor", "Product" ], [ "ĠZ", "ero" ], [ "r", "incipal" ], [ "Ġ", "algebraMap" ], [ "ip", "sch" ], [ "i", "Inf" ], [ "tf", "ae" ], [ "ent", "s" ], [ "Ġ", "obj" ], [ "Ġin", "d" ], [ "Form", "ula" ], [ "3", "3" ], [ "P", "ath" ], [ "al", "ance" ], [ "ell", "F" ], [ "ĠPos", "Num" ], [ "gr", "aph" ], [ "un", "iform" ], [ "id", "ed" ], [ "Ġc", "or" ], [ "T", "h" ], [ "L", "en" ], [ "st", "ruct" ], [ "Ġfor", "get" ], [ "Ġint", "o" ], [ "B", "ound" ], [ "ipsch", "itz" ], [ "S", "ize" ], [ "Ġc", "losed" ], [ "in", "k" ], [ "]", "," ], [ "P", "reserves" ], [ "n", "ing" ], [ "it", "s" ], [ "int", "egrable" ], [ "Ġâī", "ª" ], [ "Ġ((", "(" ], [ "6", "4" ], [ "Partial", "Order" ], [ "Ġâ", "Ĺ" ], [ "ĠC", "ompact" ], [ "al", "ias" ], [ "9", "9" ], [ "Ï", "ķ" ], [ "m", "ediateField" ], [ "ĠG", "rothendieckTopology" ], [ "hx", "y" ], [ "Tors", "or" ], [ "ri", "angle" ], [ "imit", "ive" ], [ "ot", "ive" ], [ "erf", "ect" ], [ "R", "es" ], [ "s", "To" ], [ "ĠS", "u" ], [ "h", "I" ], [ "un", "ction" ], [ "ver", "g" ], [ "Pre", "partition" ], [ "ĠâĨij", "âĢĸ" ], [ "M", "on" ], [ "le", "m" ], [ "lo", "c" ], [ "ĠâĬ", "¢" ], [ "sh", "ift" ], [ "ivis", "ion" ], [ "Distrib", "MulAction" ], [ "ip", "roduct" ], [ "im", "ed" ], [ "h", "F" ], [ "Ġs", "norm" ], [ "ch", "imed" ], [ "chimed", "ean" ], [ "to", "Add" ], [ "Ġc", "ount" ], [ "m", "onomial" ], [ "ĠContDiff", "On" ], [ "in", "orm" ], [ "Sub", "sem" ], [ "Multilinear", "Series" ], [ "Ġar", "g" ], [ "f", "actor" ], [ "nn", "norm" ], [ "Ġhom", "omorphism" ], [ "ra", "ce" ], [ "Ġnat", "ural" ], [ "ĠNon", "Unital" ], [ "Ġab", "v" ], [ "Ġd", "isjoint" ], [ "o", "v" ], [ "ĠI", "oi" ], [ "ĠAssoc", "iates" ], [ "T", "opological" ], [ "ĠM", "etric" ], [ "restrict", "Scalars" ], [ "if", "ic" ], [ "Or", "C" ], [ "Ġpro", "of" ], [ "]", "`" ], [ "e", "ous" ], [ "Î", "¸" ], [ "re", "pr" ], [ "fl", "ip" ], [ "og", "en" ], [ "Ġâģ", "ħ" ], [ "st", "em" ], [ "Ġs", "Sup" ], [ "z", "pow" ], [ "ed", "ge" ], [ "'", ")," ], [ "h", "er" ], [ "Ġch", "ar" ], [ "un", "ique" ], [ "ĠâĪ", "ī" ], [ "Comm", "Class" ], [ "rad", "ed" ], [ "econd", "CountableTopology" ], [ "$", ">" ], [ "Is", "ScalarTower" ], [ "con", "j" ], [ "g", "le" ], [ "Ġpro", "ve" ], [ "ellF", "ounded" ], [ "¹", "³" ], [ "Ġh", "P" ], [ "id", "iagonal" ], [ "Ġco", "s" ], [ "âĦ", "Ĵ" ], [ "d", "rop" ], [ "lo", "or" ], [ "Ġk", "ernel" ], [ "b", "asic" ], [ "es", "op" ], [ "vert", "ible" ], [ "y", "oneda" ], [ "N", "ode" ], [ "p", "here" ], [ "ĠC", "lassical" ], [ "Ġb", "ound" ], [ "ĠHom", "ologicalComplex" ], [ "act", "er" ], [ "Const", "ant" ], [ "p", "resheaf" ], [ "Ġb", "i" ], [ "C", "ancel" ], [ "Non", "Unital" ], [ "(", "$" ], [ "Ġp", "i" ], [ "Ġd", "iff" ], [ "âī", "«" ], [ "om", "etric" ], [ "c", "lo" ], [ "Ġh", "T" ], [ "Ġst", "ep" ], [ "h", "M" ], [ "s", "impa" ], [ "h", "T" ], [ "g", "en" ], [ "'", "⣩" ], [ "ward", "s" ], [ "le", "t" ], [ "j", "On" ], [ "Ġm", "od" ], [ "Ġe", "ach" ], [ "Zero", "Divisors" ], [ "f", "alse" ], [ "ent", "ral" ], [ "a", "us" ], [ "ĠIs", "Iso" ], [ "ix", "ed" ], [ "f", "ield" ], [ "Ġb", "asis" ], [ "Binary", "Cofan" ], [ "Ġc", "lassical" ], [ "ĠE", "q" ], [ "Fun", "Like" ], [ "ĠJ", "o" ], [ "at", "tribute" ], [ "ĠIs", "D" ], [ "t", "w" ], [ "er", "omorphic" ], [ "P", "l" ], [ "le", "r" ], [ "Ġg", "cd" ], [ "ĠPart", "ial" ], [ "Î", "©" ], [ "S", "ignedMeasure" ], [ "A", "nt" ], [ "ĠIsR", "OrC" ], [ "ĠQ", "uot" ], [ "univ", "erse" ], [ "on", "ical" ], [ "Continuous", "LinearEquiv" ], [ "Normed", "Space" ], [ "Ã", "«" ], [ "c", "losed" ], [ "7", "8" ], [ "pro", "j" ], [ "ug", "h" ], [ "g", "ed" ], [ "Ġa", "d" ], [ "diff", "erentiable" ], [ "ĠIs", "Locally" ], [ "Ġv", "olume" ], [ "ogen", "eous" ], [ "E", "n" ], [ "Ġf", "irst" ], [ "Ġp", "olynomial" ], [ "ĠW", "Seq" ], [ "F", "actorization" ], [ "iteratedFDeriv", "Within" ], [ "D", "iv" ], [ "t", "arget" ], [ "FDeriv", "WithinAt" ], [ "ab", "brev" ], [ "Ġv", "ector" ], [ "se", "q" ], [ "V", "ar" ], [ "ĠÎ", "Ķ" ], [ "ĠT", "ag" ], [ "sq", "rt" ], [ "âĦĴ", "p" ], [ "co", "limit" ], [ "Ġdefin", "ed" ], [ "ĠLie", "Ring" ], [ "at", "ors" ], [ "'", "t" ], [ "s", "plit" ], [ "6", "5" ], [ "o", "is" ], [ "nam", "e" ], [ "Limits", "Of" ], [ "Ġf", "amily" ], [ "h", "N" ], [ "hf", "g" ], [ "Par", "am" ], [ "ĠIs", "Limit" ], [ "h", "μ" ], [ "ĠG", "u" ], [ "l", "ab" ], [ "gener", "ate" ], [ "âĬ", "¤" ], [ "C", "ycle" ], [ "Ġh", "C" ], [ "ĠM", "ono" ], [ ")", "⣩" ], [ "))", "))" ], [ "type", "s" ], [ "ĠHas", "DerivAt" ], [ "N", "ontrivial" ], [ "Ġl", "im" ], [ "L", "ex" ], [ "Ġâ", "ĩ" ], [ "ĠI", "oc" ], [ "ig", "hb" ], [ "Ġ", "lower" ], [ "Ġb", "o" ], [ "ĠL", "e" ], [ "Ġs", "pec" ], [ "och", "ain" ], [ "Set", "s" ], [ "op", "roduct" ], [ "Ġc", "ast" ], [ "ĠF", "ormal" ], [ "Ġfor", "all" ], [ "s", "Inf" ], [ "S", "mall" ], [ "ternat", "ing" ], [ "ick", "en" ], [ "u", "de" ], [ "int", "erior" ], [ "Ġt", "rivial" ], [ "M", "athlib" ], [ "ch", "ar" ], [ "ĠIntegrable", "On" ], [ "P", "resheaf" ], [ "Ġh", "ε" ], [ "Val", "ue" ], [ "ic", "s" ], [ "Ch", "art" ], [ "iv", "er" ], [ "]", "]" ], [ "Ġre", "al" ], [ "ĠS", "mall" ], [ "To", "Hom" ], [ "r", "ation" ], [ "g", "o" ], [ "Ġa", "ffine" ], [ "ĠLoc", "al" ], [ "St", "ructure" ], [ "Ge", "ometry" ], [ "ĠN", "o" ], [ "Ġt", "opological" ], [ "Simple", "Func" ], [ "Ġ(", "âĨIJ" ], [ "âŁ", "§" ], [ "Colimit", "sOfShape" ], [ "se", "s" ], [ "s", "igma" ], [ "r", "n" ], [ "imp", "licial" ], [ "h", "R" ], [ "S", "ieve" ], [ "Ġp", "air" ], [ "Add", "Monoid" ], [ "Ġ[", "(" ], [ "ĠIs", "o" ], [ "app", "rox" ], [ "Ġ(âĨij", "âĨij" ], [ "Ġcy", "linder" ], [ "U", "p" ], [ "al", "ois" ], [ "C", "l" ], [ "u", "x" ], [ "ĠWalk", "ing" ], [ "Max", "imal" ], [ "Ġv", "ar" ], [ "g", "uard" ], [ "Ġg", "congr" ], [ "CommMonoid", "WithZero" ], [ "¬", "Ŀ" ], [ "Ġt", "ensor" ], [ "m", "atch" ], [ "is", "Unit" ], [ "9", "8" ], [ "ĠAr", "ray" ], [ "is", "Closed" ], [ "not", "Mem" ], [ "ĠÎ", "¦" ], [ "up", "wards" ], [ "ĠFormal", "MultilinearSeries" ], [ "ĠâĨ", "ª" ], [ "Ġif", "f" ], [ "6", "2" ], [ "iv", "es" ], [ "Ġin", "duced" ], [ "ĠL", "ift" ], [ "Ġâ", "¬Ŀ" ], [ "to", "List" ], [ "h", "K" ], [ "Ġc", "ompact" ], [ "Ġ(", "âĢĸ" ], [ "Ġb", "ot" ], [ "M", "etric" ], [ "â", "ĭ" ], [ "Ġh", "ead" ], [ "ĠInter", "mediateField" ], [ "¹", "âģ´" ], [ "ĠComm", "ute" ], [ "No", "etherian" ], [ "ight", "ed" ], [ "tom", "ic" ], [ "ĠL", "ean" ], [ "ĠN", "NReal" ], [ "ĠOrd", "node" ], [ "Pre", "order" ], [ "ire", "ction" ], [ "ĠD", "ivision" ], [ "Ġo", "ut" ], [ "ĠE", "u" ], [ "Ġre", "place" ], [ "Filter", "ed" ], [ "hom", "ology" ], [ "Ġs", "atisf" ], [ "ĠContinuous", "LinearMap" ], [ "âĤģ", "âĤĥ" ], [ "Combin", "ation" ], [ "Ġa", "p" ], [ "reser", "ving" ], [ "clo", "tomic" ], [ "Ġdo", "es" ], [ "Ġresult", "s" ], [ "w", "r" ], [ "mm", "as" ], [ "ĠP", "ath" ], [ "ĠN", "orm" ], [ "s", "ign" ], [ "ĠS", "cheme" ], [ "Simple", "x" ], [ "ĠF", "u" ], [ "ĠIs", "Integral" ], [ "Ġal", "ias" ], [ "ĠTopological", "AddGroup" ], [ "h", "en" ], [ "ĠNormed", "Field" ], [ "Deriv", "WithinAt" ], [ "d", "om" ], [ "D", "iscrete" ], [ "Ġu", "sed" ], [ "comp", "lex" ], [ "comp", "osition" ], [ "Is", "P" ], [ "a", "co" ], [ "ĠD", "ense" ], [ "ĠS", "econdCountableTopology" ], [ "Ġd", "ata" ], [ "tiplic", "ity" ], [ "Big", "O" ], [ "7", "7" ], [ "ĠL", "anguage" ], [ "In", "ducing" ], [ "Ġs", "y" ], [ "cl", "ude" ], [ "Ġin", "verse" ], [ "ĠâĪij", "'" ], [ "ĠðĿĵ", "¤" ], [ "basic", "Open" ], [ "h", "V" ], [ "Ġi", "Sup" ], [ "E", "pi" ], [ "Ġpos", "itivity" ], [ "l", "integral" ], [ "ol", "ute" ], [ "Ġid", "ent" ], [ "Ġn", "onempty" ], [ "Ġd", "is" ], [ "op", "rod" ], [ "in", "duced" ], [ "S", "L" ], [ "ĠA", "lg" ], [ "E", "qu" ], [ "ob", "tain" ], [ "ta", "ke" ], [ "se", "par" ], [ "as", "h" ], [ "res", "p" ], [ "ad", "rat" ], [ "f", "r" ], [ "c", "oprime" ], [ "Non", "Assoc" ], [ "icken", "ing" ], [ "C", "ardinal" ], [ "v", "el" ], [ "Ġt", "opology" ], [ "adrat", "ic" ], [ "l", "or" ], [ "Ġb", "ase" ], [ "Ġl", "r" ], [ "F", "aithful" ], [ "r", "cases" ], [ "Ġb", "s" ], [ "i", "am" ], [ "Î", "¦" ], [ "tiplic", "ative" ], [ "Ġcomple", "x" ], [ "Separ", "able" ], [ "Ġp", "ower" ], [ "]", "⣩" ], [ "Ġle", "mmas" ], [ "e", "k" ], [ "ĠN", "odup" ], [ "to", "Matrix" ], [ "Sub", "object" ], [ "part", "s" ], [ "Ġderiv", "ative" ], [ "Ġth", "an" ], [ "L", "in" ], [ "r", "intro" ], [ "ĠS", "ieve" ], [ "Multilinear", "Map" ], [ "r", "imitive" ], [ "h", "P" ], [ "Ġâ¨", "ħ" ], [ "Ġt", "actic" ], [ "Ġ⣨", "(" ], [ "Ġl", "inter" ], [ "ĠLinear", "Independent" ], [ "Ġmorphism", "s" ], [ "ĠS", "ee" ], [ "c", "one" ], [ "Ġcommut", "ative" ], [ "ĠC", "ancel" ], [ "ri", "or" ], [ "Sy", "stem" ], [ "count", "able" ], [ "Def", "s" ], [ "Ġspace", "s" ], [ "Ġnot", "ation" ], [ "su", "mp" ], [ "ul", "us" ], [ "t", "otal" ], [ "Ġr", "l" ], [ "N", "th" ], [ "to", "NNReal" ], [ "res", "sion" ], [ "âĢ", "º" ], [ "sump", "tion" ], [ "Ġr", "r" ], [ "Tri", "ple" ], [ "er", "set" ], [ "ĠR", "B" ], [ "a", "pe" ], [ "du", "e" ], [ "Hom", "otopy" ], [ "ĠD", "iscrete" ], [ "in", "clusion" ], [ "ĠI", "rreducible" ], [ "Ġval", "ue" ], [ "a", "il" ], [ "h", "ÏĨ" ], [ "D", "e" ], [ "a", "k" ], [ "cont", "s" ], [ "ĠIf", "f" ], [ "ighb", "or" ], [ "Ġp", "ar" ], [ "p", "otent" ], [ "os", "pan" ], [ "Ġext", "ension" ], [ "Single", "ton" ], [ "S", "tr" ], [ "is", "on" ], [ "deriv", "ative" ], [ "Op", "er" ], [ "OD", "O" ], [ "dis", "ch" ], [ "ol", "low" ], [ "Ġt", "op" ], [ "Lp", "Norm" ], [ "P", "rop" ], [ "m", "onotone" ], [ "áµ", "ĩ" ], [ "Ġ", "5" ], [ "ged", "Prepartition" ], [ "h", "δ" ], [ "ie", "ce" ], [ "Z", "Mod" ], [ "ĠE", "Real" ], [ "nhds", "Within" ], [ "f", "ree" ], [ "Ġ", "One" ], [ "ms", "gs" ], [ "ĠT", "M" ], [ "ĠIsLocally", "FiniteMeasure" ], [ "Ġn", "th" ], [ "Ġ[", "[" ], [ "t", "sum" ], [ "ĠIsC", "olimit" ], [ "ilin", "Form" ], [ "Ġo", "ther" ], [ "alance", "d" ], [ "lo", "pen" ], [ "H", "e" ], [ "ĠSt", "ream" ], [ "iece", "wise" ], [ "p", "erm" ], [ "Ġ", "strict" ], [ "ĠSet", "Like" ], [ "Ġinv", "Fun" ], [ "alle", "l" ], [ "I", "nd" ], [ "Ġb", "ounded" ], [ "Ġpre", "d" ], [ "Ġpre", "image" ], [ "Ġ(", "@" ], [ "Ġl", "l" ], [ "Op", "posite" ], [ "Ġdefinition", "s" ], [ "Alg", "Equiv" ], [ "L", "M" ], [ "Gr", "p" ], [ "*", "*" ], [ "Ex", "act" ], [ "Ġ", "'" ], [ "ĠÎ", "¶" ], [ "Ġk", "e" ], [ "l", "ie" ], [ "Ġa", "esop" ], [ "un", "ctor" ], [ "ug", "ate" ], [ "l", "at" ], [ "ĠS", "up" ], [ "with", "Density" ], [ "4", "3" ], [ "ĠIs", "FractionRing" ], [ "ĠAdd", "Monoid" ], [ "aus", "s" ], [ "Î", "Ľ" ], [ "Ġ(âĪ", "ı" ], [ "p", "h" ], [ "rior", "ity" ], [ "Ġ", "qu" ], [ "j", "oin" ], [ "Of", "LE" ], [ "m", "ove" ], [ "t", "l" ], [ "Ġ", "quotient" ], [ "ĠPseudo", "MetricSpace" ], [ "Ġc", "ol" ], [ "min", "poly" ], [ "ly", "ing" ], [ "ĠâĢ", "¹" ], [ "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠĠĠĠĠĠĠ" ], [ "b", "ounded" ], [ "th", "on" ], [ "ĠM", "orphism" ], [ "ĠS", "tronglyMeasurable" ], [ "Ġ_", "))" ], [ "ë", "l" ], [ "ro", "t" ], [ "Pro", "bability" ], [ "rn", "Deriv" ], [ "sh", "ow" ], [ "Mv", "Polynomial" ], [ "Ġh", "A" ], [ "Isometry", "Equiv" ], [ "Ġf", "ollow" ], [ "ĠâĬ¤", ")" ], [ "ic", "ient" ], [ "Ġnum", "ber" ], [ "resp", "on" ], [ "Ġres", "pect" ], [ "thon", "ormal" ], [ "ra", "filter" ], [ "con", "vex" ], [ "Ġc", "at" ], [ "Unit", "s" ], [ "Order", "Hom" ], [ "ĠP", "erfect" ], [ "ĠOrder", "ing" ], [ "ĠA", "dj" ], [ "K", "an" ], [ "Ġu", "pper" ], [ "Normed", "AddCommGroup" ], [ "Ġne", "ed" ], [ "Ġ", "###" ], [ "Ġcon", "dition" ], [ "Ex", "pr" ], [ "Ġup", "date" ], [ "Ġco", "ver" ], [ "Comple", "tion" ], [ "Ġi", "te" ], [ "Loc", "us" ], [ "Ġis", "Open" ], [ "ut", "ations" ], [ "eg", "a" ], [ "ĠM", "onic" ], [ "ĠA", "nt" ], [ "un", "curry" ], [ "ut", "er" ], [ "ĠâĦ", "µ" ], [ "Ġ<", "$>" ], [ "Ġâīª", "âī«" ], [ "Sub", "space" ], [ "Ġ!", "[" ], [ "ep", "i" ], [ "ro", "id" ], [ "W", "alk" ], [ "ĠZ", "Mod" ], [ "c", "arrier" ], [ "ed", "ek" ], [ "orn", "ers" ], [ "edek", "ind" ], [ "Gener", "ated" ], [ "r", "ap" ], [ "ĠInter", "val" ], [ "9", "5" ], [ "Ġconst", "ant" ], [ "amily", "OfElements" ], [ "il", "attice" ], [ "âĪŀ", ")" ], [ "d", "or" ], [ "Ġa", "ction" ], [ "dor", "ff" ], [ "Ġh", "V" ], [ "P", "t" ], [ "Sup", "p" ], [ "cl", "ide" ], [ "clide", "an" ], [ "Uniform", "ly" ], [ "b", "ers" ], [ "ĠSub", "singleton" ], [ "crete", "Category" ], [ "Ġof", "Real" ], [ "w", "ay" ], [ "N", "ame" ], [ "``", "`" ], [ "i", "ator" ], [ "alized", "Factors" ], [ "ĠMorphism", "Property" ], [ "C", "ore" ], [ "ent", "al" ], [ "au", "se" ], [ "Continuous", "Map" ], [ "ĠF", "amilyOfElements" ], [ "ou", "rier" ], [ "Ġâĩ", "ij" ], [ "7", "5" ], [ "u", "ed" ], [ "ĠEx", "pr" ], [ "Ġk", "er" ], [ "d", "own" ], [ "N", "il" ], [ "dist", "rib" ], [ "p", "ure" ], [ "Ġh", "μ" ], [ "Pre", "sent" ], [ "ĠD", "irected" ], [ "i", "due" ], [ "dd", "Above" ], [ "Ġpoint", "s" ], [ "ĠMem", "âĦĴp" ], [ "Ġb", "it" ], [ "ĠS", "tr" ], [ "o", "k" ], [ "With", "C" ], [ "Ġcon", "v" ], [ "ĠSu", "mmable" ], [ "Ġext", "end" ], [ "ĠCancel", "CommMonoidWithZero" ], [ "ĠC", "of" ], [ "ĠâĢĸ", "âĨij" ], [ "EM", "etricSpace" ], [ "ra", "il" ], [ "sub", "module" ], [ "ateg", "or" ], [ "Ġab", "out" ], [ "Ã", "©" ], [ "Ġind", "icator" ], [ "omorphism", "s" ], [ "_", "[" ], [ "is", "ker" ], [ "Ġwh", "isker" ], [ "Ha", "ar" ], [ "Ġop", "er" ], [ "T", "wo" ], [ "ic", "ate" ], [ "Pro", "jection" ], [ "flect", "s" ], [ "is", "S" ], [ "ĠMonoid", "al" ], [ "ĠSub", "algebra" ], [ "âŁ", "¦" ], [ "L", "ast" ], [ "Ġs", "equence" ], [ "Ġ", "empty" ], [ "P", "ushout" ], [ "8", "5" ], [ "Ġde", "cl" ], [ "Ġpro", "v" ], [ "l", "ist" ], [ "up", "per" ], [ "ĠSt", "ar" ], [ "C", "LM" ], [ "ĠN", "ormal" ], [ "ĠHas", "FDerivAt" ], [ "Ġn", "ode" ], [ "Ġi", "m" ], [ "alized", "Module" ], [ "Ġp", "ath" ], [ "Up", "To" ], [ "Ġs", "wap" ], [ "Ġcf", "c" ], [ "C", "D" ], [ "Ġch", "oose" ], [ "Ġ((", "âĨij" ], [ "f", "s" ], [ "lt", "rafilter" ], [ "Ġs", "elf" ], [ "P", "rim" ], [ "d", "ata" ], [ "Ġb", "if" ], [ "Ġas", "sumption" ], [ "LimitsOf", "Shape" ], [ "io", "u" ], [ "L", "em" ], [ "equ", "al" ], [ "Ġh", "J" ], [ "7", "6" ], [ "M", "eas" ], [ "Ġc", "ancel" ], [ "ĠComp", "utation" ], [ "B", "i" ], [ "`", ")" ], [ "Ġp", "roper" ], [ "ĠC", "ountable" ], [ "Ġl", "s" ], [ "th", "ickening" ], [ "Ġn", "hds" ], [ "ru", "ction" ], [ "Ġcon", "vex" ], [ "Ġcor", "respon" ], [ "c", "ompact" ], [ "ĠSmall", "Category" ], [ "I", "f" ], [ "Ġmax", "imalIdeal" ], [ "Ġ_", ")," ], [ "ĠSimple", "Func" ], [ "ĠHas", "Sum" ], [ "j", "es" ], [ "T", "M" ], [ "t", "jes" ], [ "ĠPre", "additive" ], [ "Ï", "ĩ" ], [ "Ġh", "F" ], [ "Sub", "singleton" ], [ "N", "eg" ], [ "ĠC", "one" ], [ "Ġn", "o" ], [ "sub", "singleton" ], [ "F", "actor" ], [ "Ch", "ain" ], [ "ĠG", "ener" ], [ "ĠB", "ilinForm" ], [ "Val", "uation" ], [ "D", "om" ], [ "B", "l" ], [ "Ġs", "em" ], [ "ĠâĦ", "±" ], [ "ĠPartial", "Order" ], [ "Ġl", "ine" ], [ "Ġh", "K" ], [ "¹", "âģµ" ], [ "ĠL", "imit" ], [ "ed", "u" ], [ "implicial", "Object" ], [ "ĠN", "um" ], [ "l", "ine" ], [ "Ġ*", "*" ], [ "ort", "Complex" ], [ "ðĿĴ", "ľ" ], [ "Ord", "node" ], [ "Ġequiv", "alent" ], [ "Ġloc", "ally" ], [ "Ġdec", "ide" ], [ "c", "oc" ], [ "ĠMul", "Action" ], [ "Ġp", "rime" ], [ "ĠSt", "d" ], [ "Ġin", "jective" ], [ "verg", "ence" ], [ "Ġ_", "_" ], [ "Ġc", "ontinu" ], [ "an", "if" ], [ "Ġc", "arrier" ], [ "mm", "ersion" ], [ "ĠContinuous", "SMul" ], [ "M", "odel" ], [ "Ġh", "B" ], [ "Ġst", "r" ], [ "Ġinter", "val" ], [ "ĠOrder", "Topology" ], [ "Ġ(âĭ", "Ĥ" ], [ "8", "4" ], [ "ĠT", "ODO" ], [ "ack", "age" ], [ "tr", "iv" ], [ "Sy", "m" ], [ "ĠinferInstance", "As" ], [ "Ġap", "pend" ], [ "/", "/" ], [ "ĠK", "ernel" ], [ "ĠBounded", "Formula" ], [ "le", "te" ], [ ":", "//" ], [ "âĪŀ", "}" ], [ "co", "unit" ], [ "Inter", "val" ], [ "Of", "Is" ], [ "is", "Colimit" ], [ "Ġint", "egrable" ], [ "anif", "old" ], [ "Ġw", "ill" ], [ "Ġa", "e" ], [ "unit", "s" ], [ "WithC", "orners" ], [ "In", "variant" ], [ "Morphism", "s" ], [ "Ġ¬", "(" ], [ "ĠRB", "Node" ], [ "f", "ig" ], [ "G", "E" ], [ "pan", "d" ], [ "m", "as" ], [ "A", "l" ], [ "Ġcon", "j" ], [ "Ġsh", "ould" ], [ "v", "sub" ], [ "Ġs", "ee" ], [ "us", "hf" ], [ "ushf", "or" ], [ "ĠM", "ap" ], [ "Ġthe", "se" ], [ "ĠStrict", "Mono" ], [ "ific", "ation" ], [ "ist", "ic" ], [ "Ġsub", "st" ], [ "Ex", "ists" ], [ "Ġ-", "(" ], [ "Ring", "Equiv" ], [ "Ġâ", "Į" ], [ "con", "v" ], [ "t", "ps" ], [ "ea", "ch" ], [ "is", "Iso" ], [ "cycle", "s" ], [ "Ġm", "onotone" ], [ "ĠWith", "Top" ], [ "is", "Limit" ], [ "Spec", "ial" ], [ "}", "}" ], [ "Ġsub", "group" ], [ "Diff", "On" ], [ "ushfor", "ward" ], [ "ical", "ly" ], [ "i", "ce" ], [ "ve", "c" ], [ "C", "entral" ], [ "Ġu", "F" ], [ "7", "4" ], [ "if", "s" ], [ "max", "imalIdeal" ], [ "Ġconst", "ruct" ], [ "or", "thogonal" ], [ "lo", "pe" ], [ "bi", "jective" ], [ "P", "ackage" ], [ "oo", "d" ], [ "Module", "Cat" ], [ "ĠðĿĶ", "¸" ], [ "Type", "s" ], [ "Uniform", "Space" ], [ "âĪ", "ij" ], [ "Ġs", "epar" ], [ "Ġm", "otive" ], [ "ĠÏ", "ĩ" ], [ "Con", "j" ], [ "a", "ro" ], [ "ðĿ", "Ķ" ], [ "Ġal", "ong" ], [ "C", "alc" ], [ "Pos", "Num" ], [ "Ġun", "ion" ], [ "h", "al" ], [ "t", "sub" ], [ "ot", "angent" ], [ "ĠLie", "Algebra" ], [ "Ġvari", "able" ], [ "to", "Nat" ], [ "Ġre", "g" ], [ "ec", "ause" ], [ "ĠVector", "Measure" ], [ "cont", "ra" ], [ "Ġpart", "ial" ], [ "Ġd", "omain" ], [ "plic", "ate" ], [ "Ġs", "eries" ], [ "an", "y" ], [ "Calc", "ulus" ], [ "u", "es" ], [ "Ġp", "r" ], [ "Ġu", "G" ], [ "ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ", "ĠĠĠĠĠĠĠĠĠĠĠĠĠ" ], [ "et", "ri" ], [ "!", "]" ], [ "Ġchar", "acter" ], [ "Ġr", "s" ], [ "N", "hds" ], [ "N", "F" ], [ "Ġhf", "g" ], [ "ĠSigma", "Finite" ], [ "eriod", "ic" ], [ "fle", "ction" ], [ "Ġm", "ore" ], [ "Ġarg", "um" ], [ "n", "smul" ], [ "ti", "es" ], [ "ĠContinuous", "At" ], [ "c", "lic" ], [ "Ġgener", "ated" ], [ "d", "am" ], [ "in", "dep" ], [ "m", "atrix" ], [ "Ġc", "ur" ], [ "Ġint", "eg" ], [ "âŁ", "«" ], [ "able", "Space" ], [ "is", "L" ], [ "Ġi", "deal" ], [ "ĠP", "Functor" ], [ "p", "reserves" ], [ "Ġl", "ist" ], [ "Nil", "potent" ], [ "iter", "ate" ], [ "ĠDecidable", "Pred" ], [ "et", "ic" ], [ "Ġy", "s" ], [ "Unit", "or" ], [ "re", "d" ], [ "n", "one" ], [ "Zero", "Class" ], [ "if", "ied" ], [ "a", "mma" ], [ "Ġspec", "ial" ], [ "ĠSet", "oid" ], [ "uter", "Measure" ], [ "B", "lock" ], [ "ĠVal", "id" ], [ "One", "Class" ], [ "Ġsq", "rt" ], [ "Ġ2", "0" ], [ "Ġc", "of" ], [ "i", "Inter" ], [ "5", "4" ], [ "E", "lem" ], [ "present", "ation" ], [ "aro", "ub" ], [ "]", "." ], [ "hr", "ink" ], [ "ĠWith", "Bot" ], [ "L", "im" ], [ "T", "r" ], [ "ĠT", "ensor" ], [ "aroub", "i" ], [ "Group", "WithZero" ], [ "f", "actors" ], [ "¹", "âģ¶" ], [ "ĠDivision", "Ring" ], [ "b", "tw" ], [ "Ġis", "Closed" ], [ "str", "onglyMeasurable" ], [ "ĠÎ", "ł" ], [ "Ġ", "dual" ], [ "Ġf", "deriv" ], [ "ĠSimple", "x" ], [ "Ġadj", "oin" ], [ "iz", "er" ], [ "Ab", "elian" ], [ "Ġt", "est" ], [ "ch", "ain" ], [ "âĤ", "ļ" ], [ "Ġu", "E" ], [ "âĬ", "¥" ], [ "Is", "Prime" ], [ "Ġ", "ord" ], [ "Bl", "ank" ], [ "p", "iecewise" ], [ "0", "1" ], [ "of", "Pred" ], [ "comp", "ose" ], [ "th", "en" ], [ "ĠMonoid", "Hom" ], [ "Factorization", "Monoid" ], [ "á", "Ĺ" ], [ "ĠC", "auchy" ], [ "áĹ", "®" ], [ "Ġobject", "s" ], [ "de", "g" ], [ "Ġz", "pow" ], [ "ĠLe", "ft" ], [ "Top", "Cat" ], [ "c", "or" ], [ "t", "mul" ], [ "Ġs", "ign" ], [ "Re", "c" ], [ "ĠðĿĵ", "Ł" ], [ "ĠAffine", "Subspace" ], [ "rox", "im" ], [ "ĠIs", "Prime" ], [ "}", "))" ], [ "t", "s" ], [ "Ġlo", "cal" ], [ "ĠR", "ef" ], [ "ated", "Deriv" ], [ "Ġe", "ventually" ], [ "At", "om" ], [ "Ġof", "Nat" ], [ "tr", "unc" ], [ "etri", "z" ], [ "Ġl", "in" ], [ "hi", "j" ], [ "Ġcomple", "te" ], [ "âĮ", "ĭ" ], [ "R", "ank" ], [ "Ġ", "erase" ], [ "Ġh", "ÏĨ" ], [ "Ġcomp", "osition" ], [ "edekind", "Domain" ], [ "ĠR", "at" ], [ "te", "Idx" ], [ "rap", "ose" ], [ "C", "ol" ], [ "r", "c" ], [ "Sem", "icontinuous" ], [ "C", "oproduct" ], [ "ĠS", "epar" ], [ "Ġeq", "ToHom" ], [ "ĠPro", "finite" ], [ "an", "ish" ], [ "Mul", "ti" ], [ "ĠAffine", "Space" ], [ "Ġrel", "ation" ], [ "f", "actorization" ], [ "Ġh", "X" ], [ "triv", "ial" ], [ "h", "ne" ], [ "ĠLoc", "alization" ], [ "F", "G" ], [ "ĠS", "urjective" ], [ "ĠEx", "ists" ], [ "ĠM", "on" ], [ "h", "J" ], [ "de", "pendent" ], [ "Ġre", "qu" ], [ "Ġinst", "ead" ], [ "Term", "inal" ], [ "re", "ates" ], [ "ir", "c" ], [ "imp", "ort" ], [ "h", "X" ], [ "ra", "cket" ], [ "Of", "Nat" ], [ "ategor", "ies" ], [ "Is", "Limit" ], [ "Ġif", "p" ], [ "structure", "dArrow" ], [ "ĠT", "rue" ], [ "root", "s" ], [ "Ġ#", "[" ], [ "st", "ri" ], [ "Ġx", "n" ], [ "d", "iagonal" ], [ "f", "er" ], [ "t", "ot" ], [ "w", "here" ], [ "7", "3" ], [ "en", "ces" ], [ "f", "ac" ], [ "ĠI", "ic" ], [ "Ġbo", "th" ], [ "C", "ur" ], [ "ĠHas", "DerivWithinAt" ], [ "undle", "d" ], [ "Group", "Theory" ], [ "Ġem", "bedding" ], [ "ce", "pt" ], [ "Ġc", "lass" ], [ "Base", "Change" ], [ "Ġgener", "ate" ], [ "Ġr", "ank" ], [ "H", "ull" ], [ "l", "as" ], [ "Ġs", "Inf" ], [ "ĠLimit", "s" ], [ "h", "o" ], [ "of", "Hom" ], [ "nt", "ax" ], [ "to", "LinearEquiv" ], [ "Ġ..", "." ], [ "Add", "Torsor" ], [ "ro", "und" ], [ "cases", "On" ], [ "it", "es" ], [ "ĠA", "b" ], [ "Ġle", "adingCoeff" ], [ "P", "reserving" ], [ "In", "itial" ], [ "fin", "supp" ], [ "B", "iproduct" ], [ "ĠS", "eq" ], [ "ant", "s" ], [ "N", "ote" ], [ "ĠPrime", "Spectrum" ], [ "Ġmultiplic", "ity" ], [ "stri", "ction" ], [ "in", "clude" ], [ "Ġ(â¨", "Ĩ" ], [ "M", "onic" ], [ "comm", "ut" ], [ "Zero", "Morphisms" ], [ "âĤĹ", "áµ¢" ], [ "Y", "oneda" ], [ "ĠUnit", "s" ], [ "Subsem", "igroup" ], [ "Chart", "At" ], [ "S", "ee" ], [ "ĠT", "opology" ], [ "ĠHas", "FDerivWithinAt" ], [ "ĠTag", "gedPrepartition" ], [ "c", "m" ], [ "ĠM", "Diff" ], [ "ta", "ch" ], [ "ĠâĹ", "ģ" ], [ "T", "otal" ], [ "ĠE", "n" ], [ "S", "ymm" ], [ "âĤ", "ij" ], [ "wr", "ite" ], [ "Ġlin", "arith" ], [ "áµĴáµ", "Ī" ], [ "Compact", "Space" ], [ "se", "p" ], [ "Ġun", "ique" ], [ "Ġ", "end" ], [ "Ġâī", "¡" ], [ "rail", "ing" ], [ "Ġfun", "ext" ], [ "au", "to" ], [ "Pre", "connected" ], [ "Ġterm", "s" ], [ "ig", "its" ], [ "Ġorder", "Of" ], [ "h", "le" ], [ "t", "rim" ], [ "NonAssoc", "Semiring" ], [ "ĠW", "ellFounded" ], [ "Ġd", "ifferentiable" ], [ "auss", "ian" ], [ "âĤ", "ħ" ], [ "Ġf", "ree" ], [ "Ar", "g" ], [ "sing", "ular" ], [ "ĠDecidable", "Rel" ], [ "ĠComplete", "Lattice" ], [ "at", "em" ], [ "Colimit", "s" ], [ "8", "6" ], [ "St", "ruct" ], [ "ĠI", "io" ], [ "h", "G" ], [ "Ġc", "one" ], [ "Ġg", "p" ], [ "th", "m" ], [ "Ġ(", "`" ], [ "non", "pos" ], [ "Component", "s" ], [ "an", "ti" ], [ "n", "oc" ], [ "iz", "ed" ], [ "Ġden", "ote" ], [ "Ġâĸ", "·" ], [ "Ġmultiplic", "ation" ], [ "re", "m" ], [ "ĠU", "Lift" ], [ "Ġco", "kernel" ], [ "ĠO", "b" ], [ "ĠType", "Vec" ], [ "ĠAlg", "Hom" ], [ "Ġt", "s" ], [ "Ġcoeff", "icient" ], [ "rot", "ate" ], [ "ε", "pos" ], [ "c", "of" ], [ "Ġa", "cc" ], [ "ilter", "ed" ], [ "áµIJ", "áµĴáµĸ" ], [ "Uniformly", "On" ], [ "ĠT", "rans" ], [ "Bound", "s" ], [ "ĠUnique", "FactorizationMonoid" ], [ "ĠB", "inary" ], [ "Function", "s" ], [ "M", "OD" ], [ "f", "intype" ], [ "irect", "Sum" ], [ "ĠPrim", "codable" ], [ "Ordered", "Ring" ], [ "c", "om" ], [ "Comp", "atible" ], [ "aliz", "ing" ], [ "Point", "s" ], [ "Ġp", "adic" ], [ "continuous", "On" ], [ "S", "plit" ], [ "ĠA", "pp" ], [ "tjes", "Function" ], [ "ĠCon", "creteCategory" ], [ "Lem", "mas" ], [ "v", "i" ], [ "ĠNe", "Bot" ], [ "Ġin", "clusion" ], [ "Ġtype", "s" ], [ "Bi", "jective" ], [ "ĠS", "implicialObject" ], [ "Ġta", "k" ], [ "Ġlet", "I" ], [ "âĤĤ", "âĤģ" ], [ "Adj", "unction" ], [ "al", "Ideal" ], [ "A", "way" ], [ "ĠSMul", "CommClass" ], [ "Ġcan", "onical" ], [ "Kan", "Extension" ], [ "_", "âĢº" ], [ "r", "as" ], [ "Ġthe", "y" ] ] } }