Theorem BooleanRing.mul_one_add_self

Modification history