Theorem Matrix.head_fin_const

Modification history