Theorem Sum.elim_natCast_natCast

Modification history