Theorem LinearMap.compl₂_apply

Modification history