Theorem BooleanSubalgebra.closure_bot_sup_induction

Modification history