Theorem intrinsicClosure_univ

Modification history