Commit 2023-04-18 01:37 d090d0a8
View on Github →chore: made Opposite a structure (#3193) The opposite category is no longer a type synonym, but a structure.
chore: made Opposite a structure (#3193) The opposite category is no longer a type synonym, but a structure.