Theorem Cardinal.IsInaccessible.isStrongLimit

Modification history