Theorem Cardinal.enat_gc

Modification history