Theorem Cardinal.isNormal_beth

Modification history