Theorem rank_self

Modification history