Theorem Function.LeftInverse.closed_range

Modification history