Theorem IsValExtension.val_map_eq_one_iff

Modification history