Theorem Absorbent.absorbs_finite

Modification history