Theorem Fin.snoc_comp_natAdd

Modification history