Theorem Fin.zero_eq_mk

Modification history