Theorem LinearMap.comp_eq_id_comm

Modification history