Theorem BooleanSubalgebra.val_inf

Modification history