Theorem Set.isWF_iff_no_descending_seq

Modification history