introduce name for nat_trans law #2

Open

Assignees

opened

in functors_transformations.v

Metadata

Assignees

benediktahrens

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests