Theorem Valuation.HasExtension.val_map_lt_one_iff

Modification history