Theorem IsWellFounded.rank_lt_of_rel

Modification history