[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Function domains in TLAPS
On Tuesday, June 14, 2016 at 5:35:30 PM UTC+3, Leslie Lamport wrote:
From what general properties of functions would you expect to be able
to deduce this?
Of course! Makes perfect sense. Thanks!