Theorem AbsoluteValue.map_one_of_isLeftRegular

Modification history