Theorem Function.mem_fixedPoints_iff

Modification history