Theorem Subalgebra.LinearDisjoint.inf_eq_bot

Modification history