Theorem $typeName.zero_def

Modification history