Theorem RelEmbedding.not_acc_of_decreasing_seq

Modification history