Theorem IsValExtension.ofComapInteger

Modification history