Theorem CharP.CharOne.subsingleton

Modification history