Theorem Counterexample.B_ne_zero

Modification history