Theorem Q60596.Q'_zero_under_ideal

Modification history