Theorem eq_on_inv₀

Modification history