ssreflect - Re: [ssreflect] trivIset and intersecting sets...

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] trivIset and intersecting sets...

From: (Emilio Jesús Gallego Arias)
To: Florent Hivert <>
Cc: "ssreflect\@msr-inria.inria.fr" <>
Subject: Re: [ssreflect] trivIset and intersecting sets...
Date: Fri, 12 Feb 2016 09:39:34 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=None ; spf=None
Ironport-phdr: 9a23:YqIqah3eI61rxYbRsmDT+DRfVm0co7zxezQtwd8ZsegfL/ad9pjvdHbS+e9qxAeQG96LtLQf1qGP6fmocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0ILsiqvrocSbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskztSQyV630AGkUXjBdSH0CRwhX9RJr3rm3at/RwwjWyOdf3C74uD2eM9aBuHRDhjCMKODkR+3vWzMF2l6dD5hy771xSxo/QYYbdFvdl7LiVUtoeQWdOWY54TS1IGcLvPMM0E+MdMLMA/MHGrFwUoE77XFH0CQ==
Organization: CRI ParisTech

Hi Florent,

sorry for the noise again, I've realized that the code of my last mail
contained a few imprecisions, fixed code attached + example of proof.

Best,
Emilio

Attachment: trivFlorent.v
Description: Binary data

[ssreflect] Choice function in Set, Florent Hivert, 02/11/2016
- RE: [ssreflect] Choice function in Set, Georges Gonthier, 02/11/2016
  - Re: [ssreflect] Choice function in Set, Florent Hivert, 02/11/2016
  - Re: [ssreflect] trivIset and intersecting sets..., Florent Hivert, 02/12/2016
    - Re: [ssreflect] trivIset and intersecting sets..., Beta Ziliani, 02/12/2016
    - Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias, 02/12/2016
      - Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias, 02/12/2016
        
        Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias, 02/12/2016
        
        Re: [ssreflect] trivIset and intersecting sets..., Florent Hivert, 02/12/2016
        
        Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias, 02/12/2016
        Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias, 02/12/2016
    - Re: [ssreflect] trivIset and intersecting sets..., Assia Mahboubi, 02/21/2016

List archive

Re: [ssreflect] trivIset and intersecting sets...