Theorem IsEmpty.forall_iff

Modification history