Theorem LieSubmodule.comap_incl_eq_bot

Modification history