Theorem rec_subsingleton

Modification history