Theorem Finsupp.ceilDiv_def

Modification history