Theorem rank_subsingleton

Modification history