Theorem WellFoundedLT.rank_strictMono

Modification history