09/02/2016, 02:04 AM
Oh dear e ^(T - 1) = T for T <> 0 gave me the idea of " fake fixpoint theory " in analogue to " fake function theory ".
Apart from that funny/annoying thing , another reason is that this innocent little thing apparantly f* Up Some proof strategies for the desired Nice proof mentioned b4.
Regards
Tommy1729
Apart from that funny/annoying thing , another reason is that this innocent little thing apparantly f* Up Some proof strategies for the desired Nice proof mentioned b4.
Regards
Tommy1729