Theorem AbsoluteValue.map_one_of_is_regular

Modification history