Theorem RelEmbedding.not_wellFounded_of_decreasing_seq

Modification history