coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: makarius AT sketis.net
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Monoid and Group?
Date: Thu, 5 Apr 2018 14:57:02 +0200 (CEST)
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=makarius AT sketis.net; spf=Pass smtp.mailfrom=makarius AT sketis.net; spf=None smtp.helo=postmaster AT mx2f26.netcup.net
Ironport-phdr: 9a23:XK1WtR1kq/pkxL+QsmDT+DRfVm0co7zxezQtwd8ZsewUKfad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiDkJODEk/m7LhcJ/kblWoA6iqhBj34LYfJ2ZOfh4c6jAfd0aX21BXsNJWixEGIy8bJEAD/AAPeZFtInwvEAOrRigCgmwBePv0SVEhnno0q0m1ekqDALI3BQ4Et4Ts3nZr8/5OaYRXOyvw6TFzy/PYv1V1Dr79YPGaAouoeuWUrJ1acfRyVcgFwfCjliIrIzkMC2Z1uoTv2Wa9eZgU/ygi3I7pAFsujij3MEshZfVho4Ny1DE8zt2wJotKNGlS0N2YsSoHZpTui2AOIZ7QNkuTm9rtSoiz70Jo5+7fCwEyJQ9wB7fbuSKc42S7RLgTumROzZ4hG9+eL+knBay8lavyvH9VsmvylpKqDRKksXUunAXyxPT8tSHSud6/kq5xTmP0BnT5vhYLkAwiKrUMIUswqUwl5oWqUTMBDX6mETwjK+Md0Ur4PKk6+r9YuaumpjJPIhtzwr6L64Gm8qlAO1+PBJdcXKc/LG53b7q50zkW51RjfAqk7Kftp3GdpdTnbKwHwIAitVr0B24FTrziI1Jz0lCF0pMfVe8t6asPljPJP7iCvLm2Qa3kzp3xuuAOLD9UMyUcirz1Yz5dLM40HZyjRIpxIkFtYlXB60AO7T1V1Oj7IWFXC98CBS9xqPcMPs41o4aXjveUKqJaq2I7xmO6/4kPvHKYoIJ6m7w

I am not reading my mail until 12-Apr-2018.

[Coq-Club] Monoid and Group?, Jason -Zhong Sheng- Hu, 04/05/2018
- Re: [Coq-Club] Monoid and Group?, Pierre-Marie Pédrot, 04/05/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] Monoid and Group?, makarius, 04/05/2018