Theorem IsArithFrobAt.mul_inv_mem_inertia

Modification history