Theorem Function.LeftInverse_iff_comp

Modification history