isEmptyLaw

inline fun <E> Collection<E>.isEmptyLaw(): Boolean