Theorem rank_bot

Modification history