Commit 2020-07-28 02:35 865e8887
View on Github →chore(*): make sure definitions don't generate s x
, s : set _
(#3591)
Fix the following definitions: subtype.fintype
, pfun.dom
, pfun.as_subtype
, pfun.equiv_subtype
.
chore(*): make sure definitions don't generate s x
, s : set _
(#3591)
Fix the following definitions: subtype.fintype
, pfun.dom
, pfun.as_subtype
, pfun.equiv_subtype
.