Theorem Set.range_const_eq_diagonal

Modification history