Theorem RingHom.asBoolAlg_id

Modification history