Theorem StarAlgebra.adjoin_induction_subtype

Modification history