Theorem unitInterval.symm_eq_one

Modification history