Theorem BooleanSubalgebra.val_sup

Modification history