Theorem BooleanSubalgebra.val_top

Modification history