Theorem Set.inclusion_lt_inclusion

Modification history