Subject: Ssreflect Users Discussion List
List archive
- From: (Emilio Jesús Gallego Arias)
- To: Epiphanie <>
- Cc:
- Subject: Re: [ssreflect] Induction on fintype/set?
- Date: Mon, 28 Mar 2016 00:34:08 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Neutral ; spf=None
- Ironport-phdr: 9a23:A3hSfhBX7XRcskuXkZd3UyQJP3N1i/DPJgcQr6AfoPdwSP7+o8bcNUDSrc9gkEXOFd2CrakU26yM6Ou5BjxIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nh6booNaKPFUArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9KokgTKRYBTInPihh4MTtuRTMUBqn6X4VU2FQmR1NVVvr9hb/C5rZonui8O1n12HaEMj3SbEzERav9DVwADDhjCMKODlx2XvWg9cx3/ETmw6ouxEqm92cW4qSLvcrJq4=
- Organization: X80 Heavy Industries
(Emilio Jesús Gallego Arias) writes:
> In my very personal opinion, I'm not sure that using induction in this
> particular problem may not be the best path.
I wanted to write:
"I'm not sure that using induction in this particular problem would be the
best path."
E.
- [ssreflect] Induction on fintype/set?, Epiphanie, 03/26/2016
- Re: [ssreflect] Induction on fintype/set?, Boris Djalal, 03/26/2016
- Re: [ssreflect] Induction on fintype/set?, Boris Djalal, 03/26/2016
- Re: [ssreflect] Induction on fintype/set?, Emilio Jesús Gallego Arias, 03/28/2016
- Re: [ssreflect] Induction on fintype/set?, Emilio Jesús Gallego Arias, 03/28/2016
- Re: [ssreflect] Induction on fintype/set?, Boris Djalal, 03/26/2016
Archive powered by MHonArc 2.6.18.