Theorem Equiv.sumEmpty_apply_inl

Modification history