Theorem Equiv.emptySum_apply_inr

Modification history