Def elabSimpsRule

Modification history