Theorem triple_product_eq_det

Modification history