Theorem Function.injective_iff_iterate_factorial_card_eq_id

Modification history