Theorem PFun.preimage_eq

Modification history