Theorem Language.zero_def

Modification history