http://www.kurims.kyoto-u.ac.jp/~motizuki/students-japanese.html
の
湯地 智紀
って人の顔写真が女です
この人は性転換した方ですか？
彼(女)は
http://physmathseminar.web.fc2.com/discourse/2016/spring/kyoto-sp_abst/resume_yuji.pdf
で
＞＞ある程度満足して読める程度には証明を付けてあると思う
と言っておきながら
第二可算ならば Lindelof である.の証明を
｢任意の開被覆が与えられた開基の部分被覆により細分されることから自明である.｣なる一言で済ましています。
この方の名前をググると秀才であることがうかがわれますが
勉強の出来る人に見られがちですが、｢自分が理解できていることなんだから皆出来て当然だろ｣という考えが透けて見えます。
別の方が書いた証明では
http://www2.itc.kansai-u.ac.jp/~afujioka/2017/st3/171204st3.pdf
で、10行掛けて証明しています。
私はこういう丁寧な記述をする方の方が好感を持てますね。
