Theorem IsValExtension.val_algebraMap

Modification history