Theorem Ordinal.isNormal_derivFamily

Modification history