Theorem PFun.coe_preimage

Modification history