Theorem ofBoolRing_symm_eq

Modification history