Theorem inv_eq_of_aeval_divX_ne_zero

Modification history