Theorem Absorbs.mono_right

Modification history