Theorem BooleanSubalgebra.val_bot

Modification history