Theorem IsWellFounded.rank_eq

Modification history