Theorem LinearPMap.inverse_apply_eq

Modification history