Theorem Function.symmetric_apply_eq_iff

Modification history