Theorem absorbs_empty

Modification history