Theorem norm_of_subsingleton'

Modification history