Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rfl の説明の修正 #8

Merged
merged 1 commit into from
Oct 6, 2023
Merged

Rfl の説明の修正 #8

merged 1 commit into from
Oct 6, 2023

Conversation

Seasawher
Copy link
Member

@Seasawher Seasawher commented Oct 5, 2023

@iehality

#7 を修正しました.確認していただけると幸いです.

「定義から等しいものを示す」ではなく,「反射性を示す」という説明にする
@Seasawher Seasawher linked an issue Oct 5, 2023 that may be closed by this pull request
@Seasawher
Copy link
Member Author

追記:せっかく貴重な情報をくださったので,このブランチのコミット内容をコミットし直してPRを出し直していただけると嬉しいです.(このままだとコミット内容のオーサーが私になってしまうので…)

また,文章やコード例はさらに修正していただいても結構です.

@iehality
Copy link
Contributor

iehality commented Oct 6, 2023

変更内容については良いと思います!

@Seasawher
Copy link
Member Author

@SnO2WMaN そういう機能もあるんですね。ありがとうございます。

@Seasawher
Copy link
Member Author

@iehality 問題ないということですので、後ほどこのままマージしようと思います。

@Seasawher Seasawher merged commit 8d88004 into main Oct 6, 2023
1 check passed
@Seasawher Seasawher deleted the rfl-mathlib branch October 6, 2023 09:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

rflの解説について
3 participants