Theorem Set.PartiallyWellOrderedOn.iff_forall_not_isBadSeq

Modification history