Theorem ContinuousMap.inv_apply

Modification history