Pedro Andrade

icon company QuintoAndar icon location Campinas icon location Computer Science Student at Unicamp Mlops Intern at QuintoAndar

Results 1 issues of Pedro Andrade

Not correct definition is used

1 comment

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,...