Theorem WittVector.one_coeff_eq_of_pos

Modification history