Theorem String.popn_empty

Modification history