Theorem ker_orthogonalProjection

Modification history