Theorem NonUnitalSubalgebra.prod_inf_prod

Modification history