Theorem Ordinal.derivBFamily_isNormal

Modification history