[mutind] derive - #1091

Draft

gares wants to merge 12 commits into

janno/mutind-2-squashed

Commits on Sep 3, 2026

mutind: derive: p1inhab/trivial
gares
committed
5e6fa57
mutind: derive: p1congr
gares
committed
cd02fdf
mutind: derive: eqb
gares
committed
0712388
mutind: derive: eqbcorrect
gares
committed
5a0ef94
mutind: derive: fields
gares
committed
e2ab03e
mutind: derive: induction
gares
committed
41f0fb0
mutind: derive: bcongr
gares
committed
27eb403
mutind: derive: eqbOK
gares
committed
65a498e
mutind: derive: lens
gares
committed
8bfd49a
mutind: derive: lenslaws
gares
committed
82fe997
mutind: derive: param2
gares
committed
73991e6
mutind: tests
gares
committed
45a0ee8