Is it really?

You require that $ B \in b $, and my filter $ b $ does not contain empty set. I'm trying to find a counter-example because either I misunderstand the statement of the theorem, or the theorem is false.

Some proofs just happen to have mistakes. Unfortunately, I don't understand yours, it apparently uses lot of notation (up, down, Cor, ...) that I'm unfamiliar with.


Comments are limited to a maximum of 1000 characters.
More information about formatting options