Theorem PFun.dom_toSubtype_apply_iff

Modification history

2023-04-01 19:08
Mathlib/Data/PFun.lean
chore: tidy various files (#3124)
Added PFun.dom_toSubtype_apply_iffView on Github →