Theorem natCast_mem

Modification history