Skip to content

Add lemma `lc_fupd_add_laterN`.

Robbert Krebbers requested to merge robbert/lc_fupd_add_laterN into master

Proof by @tlsomers

Merge request reports