Theorem Infinite.orderOf_eq_zero_of_forall_mem_zpowers

Modification history