Theorem BooleanSubalgebra.val_compl

Modification history