Theorem RelEmbedding.wellFounded_iff_no_descending_seq

Modification history