Theorem IsValExtension.val_map_lt_iff

Modification history