Theorem unitInterval.symm_eq_zero

Modification history