Theorem Function.Bijective.comp_right

Modification history