Theorem LinearMap.inl_eq_prod

Modification history