Theorem Fin.zero_le

Modification history