how-to-prove icon indicating copy to clipboard operation
how-to-prove copied to clipboard

Published 20 hours ago • verified publisher icon psibi

Not correct definition is used

Open pedroansa-zz opened this issue 4 years ago • 1 comments

https://github.com/psibi/how-to-prove/blob/c17d7a74473e73e3428c666441cd98be7ea67579/chapter%204/section4-4.tex#L602

In this line you say that UF is in F. But this is not true since if we have F = {{1,2,3,4}, {5}}, UF = {1,2,3,4,5} and {1, 2, 3, 4, 5} is not in F.

pedroansa-zz avatar Jul 04 '20 14:07 pedroansa-zz

Free feel to send PR fixing this! Thanks!

psibi avatar Jul 04 '20 14:07 psibi