Theorem RingHom.asBoolAlg_comp

Modification history