Theorem Finsupp.coe_ceilDiv_def

Modification history