Def TopCat.isInitialPEmpty

Modification history