Theorem absorbent_univ

Modification history