Theorem Pi.OmegaCompletePartialOrder.flip₁_continuous'

Modification history