Is there a reason why `has_pow nat nat` doesn't exist?

Stream: new members

[Ben]

Trying to do n ^ 2 what am I doing wrong?

[Yaël Dillies]

Have you imported file#data/nat/basic ?

[Ben]

Ah that was what was missing. yah I think its via a alg structure right? Was confused because you can use * and + without the import

[Yaël Dillies]

Yeah it's because it goes through docs#monoid (docs#monoid.has_pow) and docs#nat.monoid is defined in data.nat.basic