Theorem Cardinal.beth_normal

Modification history