Theorem Function.is_partial_inv_left

Modification history