Rahul Chhabra

[Binary Exponentiation](https://cp-algorithms.com/algebra/binary-exp.html) allows for the computation of very high powers of numbers in O(log(n)) time complexity where n is the index of exponentiation. Added : 1. Implementations of binary exponentiation...

A small PR that will add preorder structure on the category of subobjects.

Additions to the Powerset module

4

Fixes #1052 Do note that two definitions had to be rewritten to prevent circular dependencies. I've highlighted them in the comments and marked them as `private`.

Additions to the powerset module

2

I believe the following additions could be made to the `Powerset` module : 1. [x] A `∈ₚ` operator that produces an `hProp` for `x ∈ₚ A` rather than a general...

[HOW-TO] Add new Scaler crops

1

The only scaler crop that seems to work is 64x64. If I try to change the scaler crop, nothing happens. The only scaler crops that are shown by the metadata...