Theorem BoolRing.hom_ext

Modification history