Theorem bot_topologicalSpace_eq_generateFrom_of_pred_succOrder

Modification history