data/metamath-databases-0.0.0~20200715.git5b44899/CONTRIBUTING.md:93: comitting ==> committing
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:561: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:562: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:564: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:574: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:582: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1015: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1023: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1105: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1130: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1200: defintion ==> definition
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1204: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1229: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1261: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1262: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1273: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1673: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:1976: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:2021: wan ==> want
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:33: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:86: identifer ==> identifier
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:388: wth ==> with
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:6868: ist ==> is, it, its, it's, sit, list
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9407: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9412: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9424: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9427: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9432: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9447: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9452: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9474: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9484: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9753: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9757: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9765: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9769: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9774: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9778: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9782: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9787: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9791: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9796: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9800: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9804: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9808: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9813: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9823: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:9828: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:11592: ficticious ==> fictitious
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:15105: rewitten ==> rewritten
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:15779: mor ==> more
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:15782: mor ==> more
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:15800: mor ==> more
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:16342: aproach ==> approach
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:16587: SoM ==> some
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:24167: substiution ==> substitution
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:28954: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:28957: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:30033: undordered ==> unordered
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:30039: undordered ==> unordered
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:30546: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:40806: Memebership ==> Membership
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:44946: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:44952: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:44957: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:44967: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:44973: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:45278: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:45358: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:47316: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:47399: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:47400: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:47401: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:47402: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:47405: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:47793: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:48365: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:48400: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:52346: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:53615: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:54072: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:58698: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:59268: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:64326: directon ==> direction
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:64346: directon ==> direction
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:68222: addd ==> add
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:68223: addd ==> add
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:68224: addd ==> add
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:70166: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:70450: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:70901: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:76755: seperate ==> separate
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:80140: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:80151: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:82553: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:86831: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:86846: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:86999: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:87335: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:87533: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:88684: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:88685: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:91467: ACI ==> ACPI
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:105: wth ==> with
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:1900: wth ==> with
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:6888: ist ==> is, it, its, it's, sit, list
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9591: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9596: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9599: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9603: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9616: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9622: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9643: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9652: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9710: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9714: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9718: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9722: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9726: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9731: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9735: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9739: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9744: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9748: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9753: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9757: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9761: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9765: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9770: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9775: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9780: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9785: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9790: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9795: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9801: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:9806: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10546: wth ==> with
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10714: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10738: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10751: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10761: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10769: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10775: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10781: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10790: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10799: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10806: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10813: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10821: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10828: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10836: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10843: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10849: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10860: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10880: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10888: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10896: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10902: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10911: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10919: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10926: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10933: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10939: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10946: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10952: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10959: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10965: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10971: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10979: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10988: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:10996: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11004: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11012: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11018: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11026: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11037: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11050: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11069: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11078: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11086: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11094: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11102: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11111: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11118: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11128: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11137: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11145: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11152: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11159: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11170: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11184: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11193: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11203: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11210: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11217: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11223: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11229: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11238: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11248: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11256: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11263: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11273: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11283: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11292: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11302: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11311: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11318: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11329: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:11342: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:12347: ficticious ==> fictitious
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:12864: noe ==> not, no, node, know, now
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:13309: orginal ==> original
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:13702: auxilliary ==> auxiliary
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:17987: hvae ==> have
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:18966: aproach ==> approach
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:19213: SoM ==> some
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:26652: substiution ==> substitution
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:31691: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:31694: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:31704: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:33051: undordered ==> unordered
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:33057: undordered ==> unordered
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:33534: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:47035: Memebership ==> Membership
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:49713: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:49720: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:49725: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:49735: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:49741: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:50027: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:50100: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:50665: funtion ==> function
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51215: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51352: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51388: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51389: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51390: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51391: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51395: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51586: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:51603: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:52375: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:52383: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:56044: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:57386: verson ==> version
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:58451: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:58801: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:61340: perserves ==> preserves
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:63818: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:63821: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:63823: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:63823: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:64062: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:64063: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/peano.mm:42: certan ==> certain
data/metamath-databases-0.0.0~20200715.git5b44899/peano.mm:202: cordinate ==> coordinate
data/metamath-databases-0.0.0~20200715.git5b44899/peano.mm:486: appearence ==> appearance
data/metamath-databases-0.0.0~20200715.git5b44899/peano.mm:590: occuring ==> occurring
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:38: Conjuction ==> Conjunction
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:69: Conjuction ==> Conjunction
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:652: defintion ==> definition
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:657: defintion ==> definition
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:1009: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:1094: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:1108: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:2416: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:2456: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:2507: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:6605: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:6733: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:6751: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:6820: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:6913: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:6946: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:6996: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:7165: TE ==> THE, BE, WE
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:7197: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:7373: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:7485: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:7780: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:8121: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:8611: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:9100: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:9222: containg ==> containing
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:9288: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:9351: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:9528: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:9745: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:10212: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:10595: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:10832: defintions ==> definitions
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11056: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11335: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11378: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11700: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11730: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11809: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11847: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11862: JSUT ==> JUST
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11909: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11943: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:11988: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:12045: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:12079: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:12161: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:12217: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:12301: leran ==> learn
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:43: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:397: proplem ==> problem
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:2836: lern ==> learn, lean
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:3259: firest ==> fires, first
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:5099: proplem ==> problem
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:8345: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:8834: recnt ==> recent, recant, rent
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:8991: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:9465: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:10057: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:12126: wth ==> with
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:14008: wth ==> with
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:15716: decideable ==> decidable
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:19181: ist ==> is, it, its, it's, sit, list
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22395: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22400: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22412: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22415: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22420: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22435: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22440: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22462: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22472: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22543: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22547: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22551: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22555: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22559: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22564: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22568: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22572: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22577: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22581: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22586: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22590: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22594: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22598: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22603: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22608: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22614: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22621: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22627: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22632: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22637: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22642: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22650: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22656: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:22661: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23381: wth ==> with
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23549: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23573: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23586: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23596: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23604: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23610: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23616: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23625: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23634: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23641: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23648: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23656: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23663: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23671: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23678: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23684: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23695: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23715: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23723: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23731: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23737: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23746: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23754: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23761: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23768: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23774: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23781: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23787: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23794: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23800: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23806: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23814: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23823: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23831: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23839: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23847: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23853: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23861: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23872: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23885: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23904: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23913: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23921: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23929: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23937: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23946: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23953: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23963: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23972: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23980: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23987: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:23994: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24005: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24019: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24028: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24038: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24045: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24052: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24058: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24064: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24073: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24083: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24091: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24098: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24108: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24118: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24127: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24137: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24146: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24153: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24164: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:24177: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:25882: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:26202: noe ==> not, no, node, know, now
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:31574: SoM ==> some
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:39862: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:45840: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:45843: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:45853: ded ==> dead
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:48243: inproper ==> improper
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:60518: betwen ==> between
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:63025: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:63031: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:63036: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:63046: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:63052: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:63316: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:65935: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:65936: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:65937: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:65938: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:65941: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:65955: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:66365: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:66543: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:66644: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:67454: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:67547: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:67843: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:71654: abstration ==> abstraction
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:73785: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:74372: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:74453: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:76265: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:77684: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:78429: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:81589: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:84091: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:85204: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:86021: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:87300: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:88261: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:88521: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:88538: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:91629: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:91644: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:91697: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:91862: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:99844: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:99858: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:100357: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:100555: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:101758: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:103252: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:104525: parameterizes ==> parametrizes
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:104833: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:105395: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:107989: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:108183: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:112450: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:112667: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:112688: gruop ==> group
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:112738: gruop ==> group
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:112750: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:115325: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:117628: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:119088: preceeds ==> precedes, proceeds
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:119673: addd ==> add
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:119674: addd ==> add
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:119675: addd ==> add
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:121372: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:121652: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:122306: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:128459: seperate ==> separate
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:132286: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:132297: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:136882: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:147939: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:147976: abstration ==> abstraction
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:148618: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:151015: circularly ==> circular
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:154449: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:154642: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:154657: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:154810: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:155135: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:155333: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:156996: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:161206: SXL ==> XSL
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:164133: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:165540: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:171622: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:174861: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176633: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176636: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176645: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176663: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176684: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176694: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176704: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176721: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176737: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176745: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176753: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176760: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176789: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176797: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176831: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176831: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176843: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:176843: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:180825: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:187251: firest ==> fires, first
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:188585: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:188870: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:188938: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:188994: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:189071: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:189131: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:189151: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:190058: ba ==> by, be
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:193161: invers ==> inverse, invert
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:193173: invers ==> inverse, invert
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:195797: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:195843: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:195863: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196049: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196094: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196136: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196151: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196382: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196587: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196628: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196666: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196673: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196691: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196698: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196708: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196735: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196747: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196770: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196780: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196801: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196826: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196848: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:196857: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:197035: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:197037: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:197260: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:197270: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:197348: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:197357: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:197886: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:198436: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:200414: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:200486: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:200568: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:200952: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:201132: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:201175: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:201415: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202033: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202066: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202134: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202215: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202263: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202364: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202419: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202534: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:202634: cnat ==> can't
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:204927: modle ==> model
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:204928: modle ==> model
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:204929: modle ==> model
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:204930: modle ==> model
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:206832: lern ==> learn, lean
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:206841: lern ==> learn, lean
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:208571: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:212143: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:212308: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:212325: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:212366: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:212383: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:215282: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:217281: consequtive ==> consecutive
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:222430: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:223626: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:224697: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:224927: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:225111: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:226607: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:226662: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:227267: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:227369: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231589: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231592: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231606: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231624: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231655: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231663: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231669: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231685: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231703: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231710: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231720: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231734: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231742: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231754: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231765: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231777: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231786: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231793: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231800: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231813: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231819: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231832: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231841: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231849: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231868: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231884: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231900: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231928: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:231995: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:232013: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:232036: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:232067: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:232100: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:232273: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:232314: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:232790: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:233459: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:233990: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:234080: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:234121: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:234132: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:234454: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:235904: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:243947: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:253959: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:253982: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:255249: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:255292: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:255312: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:255372: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:255404: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:257750: Furthemore ==> Furthermore
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:257761: familiy ==> family
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:257772: familiy ==> family
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:258839: coodinate ==> coordinate
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:259385: familiy ==> family
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:260252: immediatly ==> immediately
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:261047: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:266404: resultung ==> resulting
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:270889: Leibnitz ==> Leibniz
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:274054: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:277344: firest ==> fires, first
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:280022: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:280787: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:281152: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:281473: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:284351: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:285773: firest ==> fires, first
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:286891: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:286973: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:287005: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:287142: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:287163: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:287203: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:288890: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:290954: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:296267: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:304300: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:304675: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:304736: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:318700: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:320566: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:328162: raison ==> reason, raisin
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:328162: tre ==> tree
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:345356: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:345764: suble ==> subtle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:352862: readd ==> re-add, read
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360312: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360414: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360553: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360671: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360698: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360717: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360730: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360748: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360786: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360900: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:360941: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:361043: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:361080: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:361121: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:361263: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:363473: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:363496: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:365702: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:366267: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:366583: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:366909: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:366927: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:367203: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:367205: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:367321: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:367620: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:372717: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:374638: Betweeness ==> Betweenness
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:374650: Betweeness ==> Betweenness
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:374661: Betweeness ==> Betweenness
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:374681: Betweeness ==> Betweenness
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:374794: triange ==> triangle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:375053: bewteen ==> between
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:380427: bewteen ==> between
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:382788: coefficents ==> coefficients
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:382963: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:384312: preceeds ==> precedes, proceeds
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:388756: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:388791: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:389041: pthon ==> python
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:389068: pthon ==> python
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:389083: pthon ==> python
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:390118: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:392727: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:395009: tripple ==> triple
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:396034: inifinite ==> infinite
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:398148: occurence ==> occurrence
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:398188: exacly ==> exactly
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:401642: ot ==> to, of, or
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402101: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402108: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402343: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402360: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402362: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402375: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402382: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402383: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402457: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402464: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402465: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402470: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402474: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402477: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402539: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402541: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402545: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402546: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402550: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402551: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402557: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402560: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402563: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402607: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402614: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402615: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402622: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402625: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402633: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402678: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402680: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402684: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402685: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402689: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402690: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402696: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402699: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402703: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402706: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402709: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402710: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402724: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402729: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402769: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402775: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402776: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402780: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402781: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402789: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402793: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402796: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402808: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402812: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402869: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402871: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402875: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402876: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402880: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402881: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402900: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402915: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402971: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402975: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402976: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402980: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402981: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:402989: ND ==> AND, 2ND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:403767: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:403895: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:405030: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:405347: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:405432: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:406149: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:406173: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:406737: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:406922: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:407019: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:407837: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:407865: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:408063: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:408211: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:413395: satified ==> satisfied
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:413409: satified ==> satisfied
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:414647: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:414648: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415532: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415533: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415534: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415534: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415579: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415580: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415849: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415849: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415850: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415850: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415851: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:415851: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:416310: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:416311: nd ==> and, 2nd
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:417521: SatE ==> state
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:417524: SatE ==> state
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:417525: SatE ==> state
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:417905: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:418011: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:418011: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:418012: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:418012: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:418013: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:418013: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:419880: ser ==> set
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:419880: ser ==> set
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:419881: ser ==> set
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:419881: ser ==> set
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:419882: ser ==> set
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:419882: ser ==> set
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:428366: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:429873: ket ==> kept
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:429875: ket ==> kept
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:429896: ket ==> kept
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:430102: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:430579: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:430608: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:433434: ket ==> kept
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:433437: ket ==> kept
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:433446: ket ==> kept
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:434514: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:435128: stle ==> style
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:435129: stle ==> style
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:438885: explicitely ==> explicitly
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:438902: Abtract ==> Abstract
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:438951: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:438981: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:439533: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:440437: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:440631: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:443003: ACI ==> ACPI
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:443041: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:443041: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:443054: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:443714: asymetric ==> asymmetric
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:445472: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:445502: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:445637: SRing ==> string
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:446385: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:446405: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:446453: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:446942: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:446993: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:447527: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:447604: defintion ==> definition
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:448644: lern ==> learn, lean
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:448836: firest ==> fires, first
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:449255: lern ==> learn, lean
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:449513: serie ==> series
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:449704: Stuctures ==> Structures
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:450032: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:450083: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:450122: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:451104: developped ==> developed
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:452989: Litterature ==> Literature
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:453738: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:456731: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:457649: definiton ==> definition
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:458784: lenght ==> length
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:460431: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:464908: ANE ==> AND
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:467046: elemnt ==> element
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:470427: SatE ==> state
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:470447: SatE ==> state
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:470516: SatE ==> state
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:470609: SatE ==> state
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:471823: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:472691: sytems ==> systems
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:473488: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:473502: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:473515: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:473547: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:474253: coefficent ==> coefficient
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:475958: fpr ==> for, far, fps
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:476841: precessor ==> predecessor, processor
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:477092: inital ==> initial
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:477118: inital ==> initial
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:479153: analagous ==> analogous
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:479592: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:480984: definiton ==> definition
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:482112: degenrate ==> degenerate
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:482302: Betweeness ==> Betweenness
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:482316: Betweeness ==> Betweenness
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:482330: Betweeness ==> Betweenness
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:482350: Betweeness ==> Betweenness
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:482537: triange ==> triangle
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486107: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486118: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486124: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486133: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486141: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486148: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486157: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486164: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486171: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486181: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486190: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486200: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486206: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486211: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486219: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486228: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486238: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486249: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486253: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486262: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486267: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486275: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486286: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486291: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486296: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486302: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486307: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486312: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486317: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486322: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486327: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486333: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486344: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486355: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486362: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486370: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486380: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486390: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486418: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486424: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486431: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486439: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486446: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486453: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486461: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486468: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486475: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486482: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:486491: Hart ==> Heart, harm
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:488718: firest ==> fires, first
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:489057: defintion ==> definition
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:489806: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:495249: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:499004: fof ==> for
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:503096: genration ==> generation
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:503108: genration ==> generation
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:504189: consequtively ==> consecutively
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:509190: separatly ==> separately
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:509685: Subsitution ==> Substitution
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:511177: intepreted ==> interpreted
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:511712: horizonal ==> horizontal
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:512565: notatin ==> notation
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:513321: ba ==> by, be
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:513972: unitss ==> units
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:514597: Intial ==> Initial
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:518255: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:519004: numers ==> numbers
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:519262: intergers ==> integers
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:519960: BA ==> BY, BE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:520431: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:520443: inverval ==> interval
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:520610: adiacent ==> adjacent
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:520773: ba ==> by, be
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:521079: betweeen ==> between
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:521080: frist ==> first
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:521145: betweeen ==> between
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:521210: betweeen ==> between
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:521424: ba ==> by, be
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:523374: wirth ==> with, worth
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:523391: wirth ==> with, worth
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:523850: funcions ==> functions
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:524339: acn ==> can, acne
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:525215: compex ==> complex
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:529823: represnt ==> represent
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:534928: continuos ==> continuous
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:536870: ba ==> by, be
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:541708: coninuous ==> continuous
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:552525: asumption ==> assumption
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:552985: numer ==> number
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:554715: inproper ==> improper
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:554727: inproper ==> improper
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:556829: taylored ==> tailored
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:556921: taylored ==> tailored
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:560428: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:561622: TermO ==> thermo
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:563942: taylored ==> tailored
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:564725: indepent ==> independent
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:566404: halfs ==> halves
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:569035: intentially ==> intentionally
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:569087: ist ==> is, it, its, it's, sit, list
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:569090: ist ==> is, it, its, it's, sit, list
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:569090: als ==> also
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:569119: expressable ==> expressible
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:571010: Excercise ==> Exercise
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:571056: UE ==> USE, DUE
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:571741: orignally ==> originally
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:571790: seqences ==> sequences
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:573405: exept ==> except, exempt
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:574536: accomodate ==> accommodate
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:575286: sucessor ==> successor
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:579032: Excercise ==> Exercise
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:579087: Excercise ==> Exercise
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:579361: sucessor ==> successor
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:579381: superflous ==> superfluous
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:588721: tranparent ==> transparent
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:588726: tranparent ==> transparent
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:588731: tranparent ==> transparent
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:588736: tranparent ==> transparent
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:590304: variabe ==> variable
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:590309: variabe ==> variable
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:591530: depencencies ==> dependencies
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:594237: hvae ==> have
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:600050: leat ==> lead, leak, least, leaf
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:600067: leat ==> lead, leak, least, leaf
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:603448: ser ==> set
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:603451: ser ==> set
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:613461: FO ==> OF, FOR
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:624305: tranlation ==> translation
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:632412: NWO ==> NOW
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:633216: leat ==> lead, leak, least, leaf
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:644428: comletely ==> completely
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:648270: te ==> the, be, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:648672: ue ==> use, due
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:650207: satify ==> satisfy
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:650227: vectore ==> vector
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:652538: NWO ==> NOW
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:652615: te ==> the, be, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:652945: ue ==> use, due
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:656287: analgous ==> analogous
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657103: Absorbtion ==> Absorption
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657696: argments ==> arguments
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657711: interpreation ==> interpretation
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657712: statments ==> statements
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657817: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657826: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657834: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657848: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657854: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657859: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657867: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657875: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657881: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657888: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657895: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657901: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657907: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657913: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657922: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657934: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657943: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:657953: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:658301: occurence ==> occurrence
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:658303: occurence ==> occurrence
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:658379: occurences ==> occurrences
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:658396: occurence ==> occurrence
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:658449: funtion ==> function
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:658450: subsituted ==> substituted
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:658677: subsitute ==> substitute
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659112: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659123: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659140: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659154: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659168: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659181: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659195: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659232: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659258: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659282: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659299: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659318: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659338: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659354: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659373: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659388: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659398: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659420: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659443: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659455: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659472: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659489: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659506: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659537: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659559: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659578: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659608: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659627: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659640: begining ==> beginning
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659780: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659796: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:659863: statments ==> statements
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:660079: begining ==> beginning
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:660081: begining ==> beginning
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:660115: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:660123: begining ==> beginning
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:660123: preceeding ==> preceding, proceeding
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:660131: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:660158: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:660178: whe ==> when, we
data/metamath-databases-0.0.0~20200715.git5b44899/debian/copyright:31: Hart ==> Heart, harm