Theorem absorbs_iff_norm

Modification history