Theorem exists_mem_ne_zero_of_rank_pos

Modification history