Theorem Finite.wellFounded_of_trans_of_irrefl

Modification history