Theorem Fin.cast_nat_eq_last

Modification history