data/ssreflect-1.11.0/CHANGELOG.md:18: swaping ==> swapping
data/ssreflect-1.11.0/coq-mathcomp-ssreflect.opam:23: arithmetics ==> arithmetic
data/ssreflect-1.11.0/default.nix:84: environement ==> environment
data/ssreflect-1.11.0/default.nix:96: environement ==> environment
data/ssreflect-1.11.0/etc/ANNOUNCE-1.6.md:27: arithmetics ==> arithmetic
data/ssreflect-1.11.0/etc/ANNOUNCE-github.md:3: plase ==> please
data/ssreflect-1.11.0/etc/buildlibgraph:13: froms ==> forms
data/ssreflect-1.11.0/etc/buildlibgraph:18: froms ==> forms
data/ssreflect-1.11.0/etc/win-installer.nsi:69: Manaul ==> Manual
data/ssreflect-1.11.0/etc/win-installer.nsi:85: Manaul ==> Manual
data/ssreflect-1.11.0/etc/utils/builddoc_lib.sh:16: ba ==> by, be
data/ssreflect-1.11.0/etc/utils/builddoc_lib.sh:57: ba ==> by, be
data/ssreflect-1.11.0/etc/utils/builddoc_lib.sh:90: ba ==> by, be
data/ssreflect-1.11.0/etc/utils/packager:15: particularily ==> particularly
data/ssreflect-1.11.0/mathcomp/algebra/countalg.v:8: hierachy ==> hierarchy
data/ssreflect-1.11.0/mathcomp/algebra/finalg.v:8: hierachy ==> hierarchy
data/ssreflect-1.11.0/mathcomp/algebra/fraction.v:144: nd ==> and, 2nd
data/ssreflect-1.11.0/mathcomp/algebra/fraction.v:145: nd ==> and, 2nd
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:41: sould ==> could, should, sold
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:219: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1023: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1024: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1026: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1027: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1041: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1042: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1044: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1044: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1045: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1057: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v:1061: Gud ==> Good
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:443: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:443: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:444: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:450: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:451: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:452: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:508: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:509: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:510: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:511: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:513: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:514: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:514: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:517: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:518: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:532: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:533: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:534: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:624: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:624: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/interval.v:625: ba ==> by, be
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:98: Leibnitz ==> Leibniz
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:318: accomodate ==> accommodate
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:1989: expresssion ==> expression
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:2010: expresssion ==> expression
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:2280: BA ==> BY, BE
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:2284: BA ==> BY, BE
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:2311: ist ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:2312: ist ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/algebra/matrix.v:2831: decomposion ==> decomposition
data/ssreflect-1.11.0/mathcomp/algebra/mxalgebra.v:1652: undesireable ==> undesirable
data/ssreflect-1.11.0/mathcomp/algebra/mxpoly.v:1181: mapP ==> map
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:238: IHs ==> his
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:238: IHs ==> his
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:247: IHs ==> his
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:253: IHs ==> his
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:2326: IHs ==> his
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:2327: IHs ==> his
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:2591: mapP ==> map
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:2604: mapP ==> map
data/ssreflect-1.11.0/mathcomp/algebra/poly.v:2761: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/algebra/polydiv.v:476: useable ==> usable
data/ssreflect-1.11.0/mathcomp/algebra/rat.v:533: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:47: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:47: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:55: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:55: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:355: fo ==> of, for
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:397: ans ==> and
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3547: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3547: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3572: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3572: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3575: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3575: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3577: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3577: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3579: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3579: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3580: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3580: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3581: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3581: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3582: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3583: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3584: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3585: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3586: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3587: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3746: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3746: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3749: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3792: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3792: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3836: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:3836: oppS ==> oops
data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v:5348: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/algebra/ssrint.v:283: plusE ==> pulse
data/ssreflect-1.11.0/mathcomp/algebra/ssrint.v:1463: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:1536: Comparision ==> Comparison
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:1590: Comparision ==> Comparison
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:1940: knwon ==> known
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:3832: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:3882: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:4544: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:4714: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:4789: uE ==> use, due
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:4792: uE ==> use, due
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:4793: uE ==> use, due
data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v:5580: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/algebra/vector.v:1076: freeE ==> free
data/ssreflect-1.11.0/mathcomp/algebra/vector.v:1086: freeE ==> free
data/ssreflect-1.11.0/mathcomp/character/character.v:652: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/character.v:826: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/character.v:870: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/character.v:1380: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/character.v:1391: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/character.v:1794: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/character.v:2209: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/classfun.v:539: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/classfun.v:709: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/classfun.v:744: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1052: IHS ==> HIS
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1054: IHS ==> HIS
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1054: IHS ==> HIS
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1080: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1321: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1330: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1330: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1330: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/character/classfun.v:1331: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/character/classfun.v:2174: defalut ==> default
data/ssreflect-1.11.0/mathcomp/character/classfun.v:2386: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/classfun.v:2411: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/inertia.v:241: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/inertia.v:245: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/inertia.v:260: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/inertia.v:269: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/inertia.v:295: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/inertia.v:304: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/inertia.v:511: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/character/inertia.v:546: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/inertia.v:821: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/character/inertia.v:1025: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/inertia.v:1045: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/mxabelem.v:308: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/character/mxabelem.v:310: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/character/mxrepresentation.v:336: developped ==> developed
data/ssreflect-1.11.0/mathcomp/character/mxrepresentation.v:1529: fo ==> of, for
data/ssreflect-1.11.0/mathcomp/character/mxrepresentation.v:1530: spurrious ==> spurious
data/ssreflect-1.11.0/mathcomp/character/mxrepresentation.v:2079: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/mxrepresentation.v:2086: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/character/mxrepresentation.v:2103: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/mxrepresentation.v:4655: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:263: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:304: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:307: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:307: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:357: onS ==> owns
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:358: onS ==> owns
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:361: onS ==> owns
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:366: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:418: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:418: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:426: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:456: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:470: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:470: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:484: mapP ==> map
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:658: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/character/vcharacter.v:835: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:35: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:76: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/algC.v:91: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/algC.v:424: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/algC.v:488: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/algC.v:569: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:779: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:784: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:804: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:810: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:813: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:818: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:821: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:822: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:823: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:826: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:827: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:836: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:839: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:842: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:845: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:848: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:852: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:869: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:869: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:873: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:877: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:882: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:884: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:887: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:887: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:894: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:900: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:906: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:909: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:1160: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:1169: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:1169: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:1186: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algC.v:1222: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algC.v:1235: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:50: developped ==> developed
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:169: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:198: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:342: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:344: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:530: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:533: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:690: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:695: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:747: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v:747: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algnum.v:254: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algnum.v:379: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/algnum.v:565: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/algnum.v:598: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/algnum.v:611: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/closed_field.v:26: mentionned ==> mentioned
data/ssreflect-1.11.0/mathcomp/field/closed_field.v:893: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/falgebra.v:556: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/field/falgebra.v:556: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/field/falgebra.v:660: idAe ==> idea
data/ssreflect-1.11.0/mathcomp/field/falgebra.v:660: idAe ==> idea
data/ssreflect-1.11.0/mathcomp/field/falgebra.v:672: idAe ==> idea
data/ssreflect-1.11.0/mathcomp/field/falgebra.v:672: idAe ==> idea
data/ssreflect-1.11.0/mathcomp/field/falgebra.v:679: idAe ==> idea
data/ssreflect-1.11.0/mathcomp/field/falgebra.v:679: idAe ==> idea
data/ssreflect-1.11.0/mathcomp/field/fieldext.v:9: extentions ==> extensions
data/ssreflect-1.11.0/mathcomp/field/fieldext.v:57: minimial ==> minimal
data/ssreflect-1.11.0/mathcomp/field/fieldext.v:558: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/fieldext.v:858: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/fieldext.v:864: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/fieldext.v:914: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/finfield.v:36: struture ==> structure
data/ssreflect-1.11.0/mathcomp/field/finfield.v:396: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/finfield.v:463: evalution ==> evaluation, evolution
data/ssreflect-1.11.0/mathcomp/field/finfield.v:467: succesive ==> successive
data/ssreflect-1.11.0/mathcomp/field/finfield.v:648: Cnat ==> Can't
data/ssreflect-1.11.0/mathcomp/field/galois.v:442: normalL ==> normal, normally
data/ssreflect-1.11.0/mathcomp/field/galois.v:442: normalL ==> normal, normally
data/ssreflect-1.11.0/mathcomp/field/galois.v:457: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/galois.v:608: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/galois.v:724: EgE ==> edge
data/ssreflect-1.11.0/mathcomp/field/galois.v:725: EgE ==> edge
data/ssreflect-1.11.0/mathcomp/field/galois.v:851: EgE ==> edge
data/ssreflect-1.11.0/mathcomp/field/galois.v:889: EgE ==> edge
data/ssreflect-1.11.0/mathcomp/field/galois.v:890: EgE ==> edge
data/ssreflect-1.11.0/mathcomp/field/galois.v:1165: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/galois.v:1228: mapP ==> map
data/ssreflect-1.11.0/mathcomp/field/galois.v:1431: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/galois.v:1434: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/galois.v:1434: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/galois.v:1459: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/field/separable.v:23: satifies ==> satisfies
data/ssreflect-1.11.0/mathcomp/field/separable.v:288: satify ==> satisfy
data/ssreflect-1.11.0/mathcomp/field/separable.v:899: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/separable.v:902: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/separable.v:902: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/separable.v:974: IHs ==> his
data/ssreflect-1.11.0/mathcomp/field/separable.v:976: IHs ==> his
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:408: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:825: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:1199: Ba ==> By, be
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:1921: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:2161: HDa ==> had
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:2163: HDa ==> had
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:2171: HDa ==> had
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:2171: HDa ==> had
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:2241: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/action.v:2284: Ba ==> By, be
data/ssreflect-1.11.0/mathcomp/fingroup/automorphism.v:136: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/fingroup/automorphism.v:137: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:868: Aci ==> Acpi
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1147: classS ==> class
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1238: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1257: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1258: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1259: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1260: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1261: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1262: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1263: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1265: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1268: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1271: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1273: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1276: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:1291: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:2003: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:2179: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:2705: normalY ==> normally
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:2710: normalYl ==> normally
data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v:2714: normalYl ==> normally
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:280: normalYl ==> normally
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:362: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:453: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:508: normalYl ==> normally
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:579: sUH ==> such
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:637: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:640: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:642: mapP ==> map
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:728: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:778: sUH ==> such
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:1370: Ba ==> By, be
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:1371: Ba ==> By, be
data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v:1373: Ba ==> By, be
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:239: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:250: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:596: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:628: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:656: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:681: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:711: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:727: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v:808: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/perm.v:450: IHs ==> his
data/ssreflect-1.11.0/mathcomp/fingroup/perm.v:450: IHs ==> his
data/ssreflect-1.11.0/mathcomp/fingroup/perm.v:466: IHs ==> his
data/ssreflect-1.11.0/mathcomp/fingroup/perm.v:467: IHs ==> his
data/ssreflect-1.11.0/mathcomp/fingroup/perm.v:468: IHs ==> his
data/ssreflect-1.11.0/mathcomp/fingroup/presentation.v:15: intensional ==> intentional
data/ssreflect-1.11.0/mathcomp/fingroup/presentation.v:18: litteral ==> literal
data/ssreflect-1.11.0/mathcomp/fingroup/quotient.v:499: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/quotient.v:547: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/fingroup/quotient.v:822: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:27: decending ==> descending
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:701: sEH ==> she
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:702: sEH ==> she
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:721: sEH ==> she
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:930: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:1008: sEH ==> she
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:1609: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:1734: mapP ==> map
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:1894: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/abelian.v:1920: mapP ==> map
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:129: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:130: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:132: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:148: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:149: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:181: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:182: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:185: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:186: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:193: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:254: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:254: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:270: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:392: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:396: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:399: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:400: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:401: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:407: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:427: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:451: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/alt.v:480: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/center.v:80: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/center.v:254: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/center.v:399: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/center.v:408: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/center.v:477: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/center.v:523: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/center.v:600: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/cyclic.v:767: mapP ==> map
data/ssreflect-1.11.0/mathcomp/solvable/cyclic.v:773: mapP ==> map
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:257: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:257: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:440: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:444: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:449: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:460: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:505: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:533: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:541: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:541: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:541: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:557: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:558: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:561: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:561: oT ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:561: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v:796: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:301: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:311: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:377: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:378: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:381: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:385: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:445: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:449: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:450: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:718: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:725: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:1133: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:1134: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:1138: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:1140: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:1762: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:1773: ot ==> to, of, or
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:2179: sEH ==> she
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:2179: sEH ==> she
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:2224: sEH ==> she
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:2235: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:2239: sEH ==> she
data/ssreflect-1.11.0/mathcomp/solvable/extremal.v:2306: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:156: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:166: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:167: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:176: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:191: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:236: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:237: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:520: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v:541: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:42: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:50: groupT ==> grouped
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:111: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:112: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:194: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:197: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:204: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:206: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:223: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/gseries.v:224: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/hall.v:138: normalYl ==> normally
data/ssreflect-1.11.0/mathcomp/solvable/hall.v:369: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:387: normalY ==> normally
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1012: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1054: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1106: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1128: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1217: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1220: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1220: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1220: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1223: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1225: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1233: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1245: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1292: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1434: nAX ==> max, nad
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1438: nAX ==> max, nad
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1439: nAX ==> max, nad
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1439: nAX ==> max, nad
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1460: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/maximal.v:1466: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/nilpotent.v:91: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/nilpotent.v:114: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/nilpotent.v:114: IHs ==> his
data/ssreflect-1.11.0/mathcomp/solvable/nilpotent.v:236: mapP ==> map
data/ssreflect-1.11.0/mathcomp/solvable/nilpotent.v:434: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/nilpotent.v:629: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/pgroup.v:23: eqivalent ==> equivalent
data/ssreflect-1.11.0/mathcomp/solvable/pgroup.v:901: sOM ==> some
data/ssreflect-1.11.0/mathcomp/solvable/pgroup.v:903: sOM ==> some
data/ssreflect-1.11.0/mathcomp/solvable/pgroup.v:903: sOM ==> some
data/ssreflect-1.11.0/mathcomp/solvable/primitive_action.v:14: partiiton ==> partition
data/ssreflect-1.11.0/mathcomp/solvable/sylow.v:34: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/solvable/sylow.v:402: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/ssreflect/bigop.v:1097: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/ssreflect/bigop.v:1112: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/ssreflect/binomial.v:472: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/binomial.v:472: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:92: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:93: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:94: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:103: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:104: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:423: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:424: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:425: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:427: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:427: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:431: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v:432: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/div.v:686: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/div.v:688: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/div.v:689: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/eqtype.v:659: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v:12: Leibnitz ==> Leibniz
data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v:170: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v:170: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v:360: supportE ==> supported, supporter
data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v:422: uniqE ==> unique
data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v:424: uniqE ==> unique
data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v:424: uniqE ==> unique
data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v:435: uniqE ==> unique
data/ssreflect-1.11.0/mathcomp/ssreflect/fingraph.v:459: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:10: Leibnitz ==> Leibniz
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:101: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:368: properT ==> property
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:523: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:530: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:533: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:654: setIS ==> set is, settees
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:1284: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:1285: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v:1674: useable ==> usable
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:168: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:187: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:187: Ue ==> Use, due
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:578: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:584: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:587: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:750: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:757: nAx ==> max, nad
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1105: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1185: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1186: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1579: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1606: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1607: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1607: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1607: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1609: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:1609: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:2162: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:2162: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:2225: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v:2225: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:2714: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:2715: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:3541: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:3574: leNgt ==> length
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:3810: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:4002: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:6101: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:6106: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:6107: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:6298: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:6300: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:6796: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/ssreflect/order.v:6817: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:418: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:419: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:515: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:518: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:519: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:535: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:535: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:557: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:564: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:568: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:622: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:624: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:625: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:688: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:689: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:735: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:738: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:739: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:796: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/path.v:797: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/prime.v:392: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/prime.v:438: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/prime.v:1279: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/prime.v:1286: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/prime.v:1296: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:312: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:312: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:321: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:321: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:324: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:324: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:331: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:331: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:353: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:354: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:369: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:375: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:385: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:390: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:414: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:416: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:424: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:424: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:472: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:477: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:477: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:484: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:487: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:492: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:492: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:527: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:530: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:530: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:546: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:546: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:552: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:552: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:560: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:560: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:563: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:563: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:584: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:618: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:618: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:623: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:623: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:671: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:681: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:686: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:695: ihs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:706: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:717: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:720: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:720: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:737: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:742: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:742: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:765: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:766: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:770: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:802: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:802: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:805: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:805: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:849: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:858: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:858: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:867: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:867: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:871: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:874: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:927: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:927: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:940: aNs ==> and
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:988: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:990: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1005: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1006: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1055: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1074: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1074: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1092: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1094: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1113: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1114: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1140: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1141: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1146: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1146: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1184: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1186: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1222: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1223: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1239: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1248: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1249: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1257: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1257: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1273: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1277: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1278: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1283: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1287: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1291: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1296: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1297: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1334: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1335: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1359: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1359: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1425: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1426: nax ==> max, nad
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1427: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1427: nax ==> max, nad
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1442: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1442: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1588: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1625: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1627: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1634: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1639: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1694: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1698: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1830: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1833: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1833: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1871: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1871: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1872: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1872: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1891: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1892: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1917: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1956: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1958: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1959: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:1961: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2026: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2031: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2032: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2041: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2053: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2079: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2079: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2088: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2097: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2097: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2100: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2100: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2127: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2127: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2133: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2189: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2190: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2206: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2207: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2207: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2224: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2224: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2227: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2229: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2231: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2236: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2237: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2242: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2243: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2245: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2257: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2258: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2268: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2271: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2271: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2285: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2318: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2318: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2321: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2367: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2552: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2552: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2563: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2584: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2584: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2592: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2592: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2598: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2598: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2610: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2610: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2618: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2618: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2622: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2622: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2652: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2652: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2655: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2655: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2658: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2658: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2661: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2661: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2664: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2664: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2679: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2679: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2688: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2689: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2694: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2694: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2862: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2913: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2953: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2953: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2991: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:2991: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3006: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3041: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3042: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3081: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3084: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3086: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3181: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3181: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3187: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3187: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3187: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3266: prEs ==> press
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3267: prEs ==> press
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3286: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v:3306: mapP ==> map
data/ssreflect-1.11.0/mathcomp/ssreflect/ssrAC.v:32: conjuction ==> conjunction
data/ssreflect-1.11.0/mathcomp/ssreflect/ssrAC.v:170: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/ssrAC.v:171: IHs ==> his
data/ssreflect-1.11.0/mathcomp/ssreflect/ssrbool.v:16: statments ==> statements
data/ssreflect-1.11.0/mathcomp/ssreflect/ssrnat.v:199: plusE ==> pulse
data/ssreflect-1.11.0/mathcomp/ssreflect/tuple.v:98: isT ==> is, it, its, it's, sit, list
data/ssreflect-1.11.0/debian/copyright:433: therefor ==> therefore