[ refactor ] Data.Fin.Properties.decFinSubset
#2793
Merged
Loading
Data.Fin.Properties.decFinSubset
#2793