Theorem eq_natCast'

Modification history