Theorem rank_pos_of_free

Modification history