generated at
2/21/2025, 7:51:19 PM
充満忠実
fully faithful
全単射