Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Proof about permutation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Proof about permutation


Chronological Thread 
  • From: Rajeev Gore <rajeev.gore AT iinet.com.au>
  • To: Dominique Larchey-Wendling <dominique.larchey-wendling AT loria.fr>
  • Cc: coq-club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Proof about permutation
  • Date: Sat, 24 Dec 2022 13:03:52 +1100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rajeev.gore AT iinet.com.au; spf=Pass smtp.mailfrom=rajeev.gore AT iinet.com.au; spf=None smtp.helo=postmaster AT icp-osb-irony-out1.external.iinet.net.au
  • Ironport-data: A9a23:GskyEaoBQHrM4UGWrKpsSS2z2t9eBmJkZBIvgKrLsJaIsI4StFCzt garIBmEM/6NZjChLtgiaY7jpkgC78XXnIIwTgtkr3xnQnsW95SUWN7Jdxitbnucf8CeQkw+s pkXZ4iQdZw9RHXS/EakbuGx/HJx/J/TS+unAoYoGMzRqSyI6csFoUg+8wLsqtcw2bBVO+4M0 D/Li5W31GWNglaYCUpJrfPdwP9TlK6q4mlB5AZlPawjUGL2zhH5MrpOfcldEFOlGuG4LsbiL woU5Ojklo9x105F5uKNyt4XQGVTKlLhFVHmZk5tZkSXqkMqShrec0oMHKF0hU9/011llvgtk 48V7cTYpQ0BZsUgk8xFO/VUO30lZ/UeoNcrLFDn2fF/wXEqfFPh6eV8K103frcopL1TC2pVr MQaIRUCO0Xra+KemNpXS8F2j8YuIdeuGIoDu219wTycIKl6Hsirr6fivIUBmmttwJoWQrCBO 6L1ahI2BPjESwdGOFoaFtQxm/2lrnj+dTBE7lmSoOw+/gA/ySQti+m9b4uIJ4PiqcN9wGeJi TL5527FEBwwKp+8kSfb9V+dmbqa9c/8cMdIfFGizdZhh0TWzWgOAjUXU0G6qL+3kCaWV9VaK koV4zcj66w77kerQ8i4QBC+rHqFuBE0X91KEuR85hvl90bPyx6BHjFeF3sdNZl87JBzGmBs3 VWT2s/zA3lpt6fQQ2iU7ezE6y+qNm4UK3MPfykDQQZD5N+lpowv5v7Scute/GeOpoWdMVnNL /qi9UDSW517YRY36piG
  • Ironport-hdrordr: A9a23:Bks9eq5Ym//f1lZMlwPXwMbXdLJyesId70hD6qkRc20zTiX8ra qTdZsgtCMc5Ax/ZJhCo6HjBEDjewK5yXcd2+B4UYtKOjOW21dARLsI0WKI+VPd8kPFltK1hZ 0MT0A9YOeAaGRHsQ==
  • Ironport-phdr: A9a23:hMi/UR+BZN2sI/9uWUy1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqCvr4x1BfgZsby1bFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip1+2+4Z3ebgtHiDeyfb95M Qm7oxjWusQKjoRuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2Q rxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9 LlgRgP2hygbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyxPDJ2iY oUSAeoPM+RXoYrzqFQBsRSzHhWsCP/1xzNUmnP7x7E23uI8Gg/GxgwgGNcOvWzIotrvNqcdT /66zLfVxjvCaPNWwyny45XPfxA7u/6MX6x/ftTPyUU1GAPFiU+QppL+MjOU1+QNtXaU7/Z6W e2zjG4nrht9rSKyxso1jITCm40axEze+ypj3IY1OcO3SFR9YdO8EJZdsyWXO5d2T80sQGxkp ik0x7wCtJO4fCUHxpcqyhHDZ/KId4WF/BLuWPqfLDtmhH9oeLCyihW8/0WjxOPwSs+520tJo CpditTAqGwB2hLJ5sWHTvZx5Fqt1SyR2wzO9u1IOV04mbTGJ5I7zbM9loAfvVrfEiL0gkn7j qCbe0M58eay8evneK/pppqEOo90lA7+NqMul9S+AeskKggCRm+b+f+n27H6/E35WrJKjvs2k 6XAt5DaONgbqrOjDwBL3Ycj9wiwDy2g0NsCmXkLNlNFeBOBj4f3J1HCOvb4Aumjg1i2ijhr2 ujKPrznAprTMnjOiKntcapz5kJGyAc+ycpT649OBr0fPf7/Rlf9tNnCAR84Nwy0zfznCNJ41 o4GQ2KAGK2ZP73Mvl+W/O4vLO6MZJULtzvmKvgl5vjugmElmVMHYaap2p4XZGqiEfR7O0mZZ 2Hjjc8bEWgWpgo+UPDqiFqaXDJOf3qyRb4z5iknCIK6CofOXpyigLuY3CuiApJWYn1GBUuXH Hfzd4SEXu8MZziILs9glDwET7mhRJU72RGgrg+pg4Zge8bT/ywetIv+2ZBR7vfYlRwjsAN5C ciZ0meCBzV4mWYJQT4vwa05pUVnwVeOwO1njvpUEd1V6NtNVR07PNjS1bopJcr1X1f7d9WER UjubdK8DHllVNszztIQJUl6AdiKjxHF0jbsCLgQ0bWWUs9nupnA1mT8cp4ug03N07Ms2hx/G pMn3QyOg6d+81KWHIvViwCDkK3sc60A3SnL/WPFzGyUvUgeXhQjGb7dUyU5YU3b5c/8+luEV 6WnXK4uMAZM14iNLbFHQtzoi1haAvzkPZLXfjH5gH++UC6B3ajEd4/2YyMY1STZBlIDllUJ9 HSLOBZ4CSC7rkrfDTpjCRTkZEaq+PQt4GijQBoSyAeHJ1Zky6Lz+hMRgqmETOgP27sfpCo7g zR/BBO6xNiTCsCHoRske7hAOJUw8EtKz2TQs0p8P5qtM+Zki0JYehkfU1rG8RJxB80AlMErq Clv1w9uMeeC11gHcTqE3Jf2M7mRK2/o/RnpZbSEklfZmM2b/KsC8pFa4x3qoR2pG0w+8n5mz 8gd0n2S4Y/PBRYTVpS5W1g+9hxzrbXXKicn4Iac2XppOKiy+jjMvrBhTPEsyButYZFQN7mJP A7zFcAGQcOpLaojhhnhbx4JOvxT6L9hJ9mvJJ7kkOagOOdtmi7jjHwSutgmlB/dsXM6ELeQj PNni7mC0wCKVinxlgKku8Hzw8VfYC0KW3C4wm7iDZJQYat7ecAKD32vKou53IYb5dalVnhG+ VqkH15D1tWufE/YdVX/0ABOk0sQu3GPmCq+wiAymDYs6KOCln+roayqZF8cN2hHSXM3x03lI 4W5kZYVW1KlRwkokha5o039wu5Sue4sSgubCVcNdC/wIWZ4V6K2vbfXeM9D5qQjtiBPWfi9a 1SXIlLkiyMTyDirX25XxTRhMiqvpo28hRtxzmSUMHd0qnPdP8B23xbWotLGF7Zd2T8PRS8wj jeyZBD0JdCr8NiK0ZjEqO2WVmOnW4EVei7ui4qd/Ce2/mxlBxSjkuv7wIW8V1Vrl3a9jYAyH SzT5A7xeIzqy7i3PYcFNgFzCVnw5tA7UoByn40shY0BjH0Th5Gb530Cwi/4NdRW3767bWJYH 2ZQhYOEplGjghQ7fRfrj8rjW36Qw9VsfYy/a2ISgGcm6txSTb2T5/pClDd0pVyxqUTQZ+J8l 3ET06hLijZSjucXtQ4q1ijYDKoVGBwSJyXumhmWqd+5tqh/ZWepfKT2301729m8RuLnwEkUS DPid5EuEDUlpN92Ml/Bzjv87ZvpUNjRa98P8BaTllHJkqIGTfB53upPji1hN2XnuHQjwONul h1i06axu42fInls9qa0UVZIcyf4bMQJ9nTxnL5Ty4yIipu3EMwrSVBpFNP4COilGzUIubH7O haSRXci/2yDF+OXHBfDuh0+9DSSQtbycSnQfiVRzM0+FkPFfwoG2VtSBm5i2MZ+TFzPpoSpc V8ltGpJvRii80QKlqQwcEOjGmbH+FXyMmxyEN7Gc0oQtFkSr0bNbZ7Etrk1QXoerszn9VHoS CTTZhwUXztRAArdXA6lZ+D2o4OcrKCZHrbsdaOUJ+zV96oHDq/On87+t+kutzeUapfVZiMkV qZlnBMaBTYjQJqewG1HXSUTk2ilg9ezghC692U3q8m+9K6uQwfz/c6VDLAUN9xz+hewiKPFN uiKhS8/JywKnpULjWTFzrQSxjtww2lnaiWtHLIctCXMULOYm6lZCAQeYj9yM80A5rw13w1EM 8rWwt3v0bswgvkwAlZDHVvv/6PhLdQNOH24PUjbCVyjNb+eYDrQyYT2e6S6WPhXkfkN8RCgp TuBFUbneDWCkTT1ERaiLadFkWD+XlQWuY2wdApsFXm2TN/ibU7zO9t2gDsqhLws0ymSbihBY H4lNRkU9u71j2sQmPh0Fm1f42AwKOCFn3zc9OzEMtMMtvAtBC1oluVc6XB8yr1P7SgCSuYm/ Uma5tNovVyilfGCjzR9Vx8b4CxCho+GowNtPr/U3phBX3vYuhkK6COZFl5ZwrktQs2qoK1Wx tXVwejrLyxe9tvP4cYGL8nfMIeAK3BkMADuHi+RCxYZFHimJX3SnUpUlLeT93uYst48p4Sqk YdEGdo5HBQlU/gdDEpiBtkLJpx6CyglnbCsh8kN/XOirRPVSa2yW7jGV/SfHbPkLzPfhKQWP 3PgLpv5LIIeKsvw3EkkY0Qoxewi+mLRVsgIpTZrKw4up0NctX9jUjR11lL5Zxmr6XtVFP+yk wJwjAZiJ+0wpm+E3g==
  • Ironport-sdr: 63a65e10_D1F02OPRh5kI32DRv2RVO3A98FVXEN/fWW6nHDy8bzqBEao g+qR73OOAejicUoKoSjTtKE5KaLJoR4T7GXxzwQ==
  • Ironport-sdr: +mLzCHUib5A05+VzVw8UQzVwKRPP28z0tm4XbErKfa+wgtQE5lKqZvAm/Bas5fv84VWSHGXUFe RzqkeHp33dRAtZHjMH5DHqDtz75rXmE/VWiCDlU/QVQYxjKHobLIm7HsO1l8Lr4VNThoJ5GDvn Hh7pBag+tjHU02ArOwn5hD+U4ZMvESz49t9SR5xAygeGbvWykz75gnCPRZ1lK/ImNVEYIBlJub VthRUqn7Id67P9sM8osil7pJwm/TkQimKfYTxqCIVi75hCfePTB6Rh0GIIO/V7jmqdK//lAUU1 mQs=


Hi Dominique,

as usual, thank you for all of your help!

best wishes,
raj



Archive powered by MHonArc 2.6.19+.

Top of Page