Theorem Fin.nat_cast_eq_zero

Modification history