Theorem RingHom.star_def

Modification history