Theorem IsSl2Triple.HasPrimitiveVectorWith.lie_e_pow_succ_toEnd_f

Modification history