Theorem Function.Bijective.comp_left

Modification history