Theorem unitInterval.univ_eq_Icc

Modification history