Theorem NonUnitalSubalgebra.mem_centralizer_iff

Modification history