Theorem IsSl2Triple.HasPrimitiveVectorWith.lie_h_pow_toEnd_f

Modification history