def ur.r21

bend-osdev-u32@0.1.0.0 · PROOF.bend:1526

import Base

1526def ur.r21() -> {Nat.mul(1n, 1n) == 1n : Nat}:
1527  {==}