add rhino case desc for formalization

This commit is contained in:
Frank Xu
2023-05-04 12:23:12 -04:00
parent 0a08a6e5a5
commit f9894a22e4