Def compact.realizer

Modification history