Theorem Ordset.empty_iff

Modification history