Theorem LinearMap.lsum_piSingle

Modification history