Theorem Function.involutive_iff_iter_2_eq_id

Modification history