Theorem Subalgebra.iSupLift_inclusion

Modification history