Theorem bijective_frobenius

Modification history