Theorem NonUnitalAlgebra.toSubmodule_bot

Modification history