Theorem absorbent_iff_inv_smul

Modification history