Theorem WittVector.wittOne_pos_eq_zero

Modification history