Theorem NonUnitalSubalgebra.mem_toNonUnitalSubring

Modification history