Theorem BooleanSubalgebra.val_himp

Modification history