Theorem Set.range_diag

Modification history