Theorem IsSl2Triple.h_eq_coroot

Modification history