Theorem Valuation.HasExtension.val_map_eq_iff

Modification history