[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

mucalculus library




Hi,

The mucalculus library is specialized for "sets".  Is it possible, by
any means, to use the associated lemmas and propositions for
"finite_sets" as well?

Thanks,
Borzoo