Theorem Fin.of_nat_zero

Modification history