Theorem Cardinal.lt_univ

Modification history