Theorem WellFoundedGT.rank_strictAnti

Modification history