Theorem Doset.bot_rel_eq_leftRel

Modification history