Theorem Set.inclusion_eq_id

Modification history