Theorem SignType.zero_eq_zero

Modification history