[Iris-Club] Two Monoid Questions

Ralf Jung jung at mpi-sws.org
Tue Aug 13 15:28:06 CEST 2019


On 13.08.19 14:48, Gregory Malecha wrote:
> Naive question: What sort of reasoning are the bijections used for that makes
> this lemma so crucial?

I wouldn't say it is extremely crucial (clearly the author didn't even need it
as their lemma is weaker), but it seems like a shame to leave a perfectly
reasonable lemma "on the floor".

; Ralf

More information about the Iris-Club mailing list