Theorem LinearIsometry.extend_apply

Modification history