Theorem Sym.eq_replicate_of_subsingleton

Modification history