Fix multiplicative_generator predicate: orderOf mult_gen = P - 1 - #10
Open
LucidSamuel wants to merge 1 commit into
Open
Fix multiplicative_generator predicate: orderOf mult_gen = P - 1#10LucidSamuel wants to merge 1 commit into
LucidSamuel wants to merge 1 commit into