Theorem finrank_bot

Modification history