Theorem isLeast_union_iff

Modification history