Theorem Set.inclusion_self

Modification history